Fiona is big. Fiona is blue. Fiona is cold. Fiona is quiet. Fiona is red. Fiona is round. Fiona is smart. If Fiona is big and Fiona is smart then Fiona is blue. Blue people are round.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is cold.
("Fiona" "is" "cold" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is red.
("Fiona" "is" "red" "+")
Fiona is round.
("Fiona" "is" "round" "+")
Fiona is smart.
("Fiona" "is" "smart" "+")
If Fiona is big and Fiona is smart then Fiona is blue.
((("Fiona" "is" "big" "+") ("Fiona" "is" "smart" "+")) -> ("Fiona" "is" "blue" "+"))
Blue people are round.
((("someone" "is" "blue" "+")) -> ("someone" "is" "round" "+"))
Fiona is smart.
True
1
proof
[(triple7)]
("Fiona" "is" "smart" "+")
triple7
Fiona is not round.
False
1
inv-proof
[(triple6 OR ((triple2) -> rule2) OR ((((triple1 triple7) -> rule1)) -> rule2))]
("Fiona" "is" "round" "-")
triple6
((triple2) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple1 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2 OR ((triple1 triple7) -> rule1))] Fiona is cold.[(triple3)] Fiona is quiet.[(triple4)] Fiona is red.[(triple5)] Fiona is round.[(triple6 OR ((triple2) -> rule2) OR ((((triple1 triple7) -> rule1)) -> rule2))] Fiona is smart.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
((triple1 triple7) -> (rule1 % int1))
Fiona is blue.
("Fiona" "is" "blue" "+")
int1
Fiona is cold.
("Fiona" "is" "cold" "+")
triple3
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple4
Fiona is red.
("Fiona" "is" "red" "+")
triple5
Fiona is round.
("Fiona" "is" "round" "+")
triple6
((triple2) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
((((triple1 triple7) -> (rule1 % int2))) -> (rule2 % int1))
Fiona is round.
("Fiona" "is" "round" "+")
int1
Fiona is blue.
("Fiona" "is" "blue" "+")
int2
Fiona is smart.
("Fiona" "is" "smart" "+")
triple7