Fiona is not big. Fiona is blue. Fiona is furry. Fiona is not quiet. Fiona is red. Fiona is round. Fiona is smart. Gary is blue. Gary is furry. Gary is quiet. Gary is not red. Gary is smart. If Gary is quiet and Gary is red then Gary is furry. If Gary is blue then Gary is big. If Gary is red and Gary is round then Gary is big. Red, big things are furry. If something is big and not round then it is smart. All smart, quiet things are big.
Fiona is not big.
("Fiona" "is" "big" "-")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is not red.
("Gary" "is" "red" "-")
Gary is smart.
("Gary" "is" "smart" "+")
If Gary is quiet and Gary is red then Gary is furry.
((("Gary" "is" "quiet" "+") ("Gary" "is" "red" "+")) -> ("Gary" "is" "furry" "+"))
If Gary is blue then Gary is big.
((("Gary" "is" "blue" "+")) -> ("Gary" "is" "big" "+"))
If Gary is red and Gary is round then Gary is big.
((("Gary" "is" "red" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "big" "+"))
Red, big things are furry.
((("something" "is" "red" "+") ("something" "is" "big" "+")) -> ("something" "is" "furry" "+"))
If something is big and not round then it is smart.
((("something" "is" "big" "+") ("something" "is" "round" "~")) -> ("something" "is" "smart" "+"))
All smart, quiet things are big.
((("something" "is" "smart" "+") ("something" "is" "quiet" "+")) -> ("something" "is" "big" "+"))
Gary is quiet.
True
1
proof
[(triple10)]
("Gary" "is" "quiet" "+")
triple10
Fiona is big.
False
1
inv-proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Gary is big.
True
2
proof
[(((triple8) -> rule2) OR ((triple12 triple10) -> rule6))]
("Gary" "is" "big" "+")
((triple8) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple12 triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
Gary is not big.
False
2
inv-proof
[(((triple8) -> rule2) OR ((triple12 triple10) -> rule6))]
("Gary" "is" "big" "-")
((triple8) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple12 triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
@0: Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is not big.[(triple1)] Fiona is not quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is smart.[(triple7)] Gary is blue.[(triple8)] Gary is furry.[(triple9)] Gary is not red.[(triple11)] Gary is quiet.[(triple10)] Gary is smart.[(triple12)] @1: Gary is big.[(((triple8) -> rule2) OR ((triple12 triple10) -> rule6))]
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is not big.
("Fiona" "is" "big" "-")
triple1
Fiona is not quiet.
("Fiona" "is" "quiet" "-")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7
Gary is blue.
("Gary" "is" "blue" "+")
triple8
Gary is furry.
("Gary" "is" "furry" "+")
triple9
Gary is not red.
("Gary" "is" "red" "-")
triple11
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is smart.
("Gary" "is" "smart" "+")
triple12
Gary is big.
("Gary" "is" "big" "+")
((triple8) -> (rule2 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1
((triple12 triple10) -> (rule6 % int1))
Gary is big.
("Gary" "is" "big" "+")
int1