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