Fiona is big. Fiona is cold. Fiona is not nice. Fiona is quiet. Fiona is red. Gary is big. Gary is blue. Gary is cold. Gary is nice. Gary is quiet. Gary is red. Gary is rough. If Fiona is blue and Fiona is not big then Fiona is cold. All red people are blue. If someone is big and nice then they are cold.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is cold.
("Gary" "is" "cold" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is rough.
("Gary" "is" "rough" "+")
If Fiona is blue and Fiona is not big then Fiona is cold.
((("Fiona" "is" "blue" "+") ("Fiona" "is" "big" "~")) -> ("Fiona" "is" "cold" "+"))
All red people are blue.
((("someone" "is" "red" "+")) -> ("someone" "is" "blue" "+"))
If someone is big and nice then they are cold.
((("someone" "is" "big" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "cold" "+"))
Fiona is red.
True
1
proof
[(triple5)]
("Fiona" "is" "red" "+")
triple5
Gary is not blue.
False
1
inv-proof
[(triple7 OR ((triple11) -> rule2))]
("Gary" "is" "blue" "-")
triple7
((triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
@0: Fiona is big.[(triple1)] Fiona is cold.[(triple2)] Fiona is not nice.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Gary is big.[(triple6)] Gary is blue.[(triple7 OR ((triple11) -> rule2))] Gary is cold.[(triple8 OR ((triple6 triple9) -> rule3))] Gary is nice.[(triple9)] Gary is quiet.[(triple10)] Gary is red.[(triple11)] Gary is rough.[(triple12)] @1: Fiona is blue.[(((triple5) -> rule2))]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple2
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Gary is big.
("Gary" "is" "big" "+")
triple6
Gary is blue.
("Gary" "is" "blue" "+")
triple7
((triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
triple8
((triple6 triple9) -> (rule3 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Gary is quiet.
("Gary" "is" "quiet" "+")
triple10
Gary is red.
("Gary" "is" "red" "+")
triple11
Gary is rough.
("Gary" "is" "rough" "+")
triple12
Fiona is blue.
("Fiona" "is" "blue" "+")
((triple5) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1