Fiona is big. Fiona is blue. Fiona is not cold. Fiona is nice. Fiona is red. Fiona is rough. Fiona is round. If Fiona is not rough then Fiona is cold. If Fiona is big and Fiona is round then Fiona is blue. If something is round and not cold then it is red.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is not cold.
("Fiona" "is" "cold" "-")
Fiona is nice.
("Fiona" "is" "nice" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Fiona is not rough then Fiona is cold.
((("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "cold" "+"))
If Fiona is big and Fiona is round then Fiona is blue.
((("Fiona" "is" "big" "+") ("Fiona" "is" "round" "+")) -> ("Fiona" "is" "blue" "+"))
If something is round and not cold then it is red.
((("something" "is" "round" "+") ("something" "is" "cold" "~")) -> ("something" "is" "red" "+"))
Fiona is blue.
True
1
proof
[(triple2 OR ((triple1 triple7) -> rule2))]
("Fiona" "is" "blue" "+")
triple2
((triple1 triple7) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is not blue.
False
1
inv-proof
[(triple2 OR ((triple1 triple7) -> rule2))]
("Fiona" "is" "blue" "-")
triple2
((triple1 triple7) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1 triple7) -> rule2))] Fiona is nice.[(triple4)] Fiona is not cold.[(triple3)] Fiona is red.[(triple5 OR ((triple7 triple3) -> rule3))] Fiona is rough.[(triple6)] Fiona is round.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple1 triple7) -> (rule2 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is nice.
("Fiona" "is" "nice" "+")
triple4
Fiona is not cold.
("Fiona" "is" "cold" "-")
triple3
Fiona is red.
("Fiona" "is" "red" "+")
triple5
((triple7 triple3) -> (rule3 % int1))
Fiona is red.
("Fiona" "is" "red" "+")
int1
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is round.
("Fiona" "is" "round" "+")
triple7