Fiona is big. Fiona is blue. Fiona is cold. Fiona is furry. Fiona is rough. Fiona is round. Fiona is white. Gary is big. Gary is blue. Gary is cold. Gary is furry. Gary is rough. Gary is round. Gary is white. All big, blue people are white. If someone is rough then they are round.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is furry.
("Fiona" "is" "furry" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
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 cold.
("Gary" "is" "cold" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is rough.
("Gary" "is" "rough" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
All big, blue people are white.
((("someone" "is" "big" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "white" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
Fiona is big.
True
1
proof
[(triple1)]
("Fiona" "is" "big" "+")
triple1
Gary is not blue.
False
1
inv-proof
[(triple9)]
("Gary" "is" "blue" "-")
triple9
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is cold.[(triple3)] Fiona is furry.[(triple4)] Fiona is rough.[(triple5)] Fiona is round.[(triple6 OR ((triple5) -> rule2))] Fiona is white.[(triple7 OR ((triple1 triple2) -> rule1))] Gary is big.[(triple8)] Gary is blue.[(triple9)] Gary is cold.[(triple10)] Gary is furry.[(triple11)] Gary is rough.[(triple12)] Gary is round.[(triple13 OR ((triple12) -> rule2))] Gary is white.[(triple14 OR ((triple8 triple9) -> rule1))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is furry.
("Fiona" "is" "furry" "+")
triple4
Fiona is rough.
("Fiona" "is" "rough" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple5) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is white.
("Fiona" "is" "white" "+")
triple7
((triple1 triple2) -> (rule1 % int1))
Fiona is white.
("Fiona" "is" "white" "+")
int1
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is blue.
("Gary" "is" "blue" "+")
triple9
Gary is cold.
("Gary" "is" "cold" "+")
triple10
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Gary is round.
("Gary" "is" "round" "+")
triple13
((triple12) -> (rule2 % int1))
Gary is round.
("Gary" "is" "round" "+")
int1
Gary is white.
("Gary" "is" "white" "+")
triple14
((triple8 triple9) -> (rule1 % int1))
Gary is white.
("Gary" "is" "white" "+")
int1