Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is red. Fiona is round. Fiona is white. Gary is big. Gary is blue. Gary is furry. Gary is green. Gary is red. Gary is round. Gary is white. If something is big and round then it is blue.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is white.
("Fiona" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
If something is big and round then it is blue.
((("something" "is" "big" "+") ("something" "is" "round" "+")) -> ("something" "is" "blue" "+"))
Gary is round.
True
1
proof
[(triple13)]
("Gary" "is" "round" "+")
triple13
Fiona is not round.
False
1
inv-proof
[(triple6)]
("Fiona" "is" "round" "-")
triple6
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1 triple6) -> rule1))] Fiona is furry.[(triple3)] Fiona is green.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6)] Fiona is white.[(triple7)] Gary is big.[(triple8)] Gary is blue.[(triple9 OR ((triple8 triple13) -> rule1))] Gary is furry.[(triple10)] Gary is green.[(triple11)] Gary is red.[(triple12)] Gary is round.[(triple13)] Gary is white.[(triple14)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple1 triple6) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
((triple8 triple13) -> (rule1 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is furry.
("Gary" "is" "furry" "+")
triple10
Gary is green.
("Gary" "is" "green" "+")
triple11
Gary is red.
("Gary" "is" "red" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
Gary is white.
("Gary" "is" "white" "+")
triple14