Fiona is big. Fiona is blue. Fiona is furry. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is white. If Fiona is white and Fiona is quiet then Fiona is green.
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 kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is white.
("Fiona" "is" "white" "+")
If Fiona is white and Fiona is quiet then Fiona is green.
((("Fiona" "is" "white" "+") ("Fiona" "is" "quiet" "+")) -> ("Fiona" "is" "green" "+"))
Fiona is quiet.
True
1
proof
[(triple6)]
("Fiona" "is" "quiet" "+")
triple6
Fiona is not white.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "white" "-")
triple7
@0: Fiona is big.[(triple1)] Fiona is blue.[(triple2)] Fiona is furry.[(triple3)] Fiona is green.[(triple4 OR ((triple7 triple6) -> rule1))] Fiona is kind.[(triple5)] Fiona is quiet.[(triple6)] Fiona is white.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is blue.
("Fiona" "is" "blue" "+")
triple2
Fiona is furry.
("Fiona" "is" "furry" "+")
triple3
Fiona is green.
("Fiona" "is" "green" "+")
triple4
((triple7 triple6) -> (rule1 % int1))
Fiona is green.
("Fiona" "is" "green" "+")
int1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple5
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple6
Fiona is white.
("Fiona" "is" "white" "+")
triple7