Fiona is big. Fiona is not green. Fiona is kind. Fiona is not nice. Fiona is quiet. Fiona is rough. Fiona is young. If something is big and nice then it is rough. If something is young and not quiet then it is green. If Fiona is big and Fiona is not rough then Fiona is green.
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is not green.
("Fiona" "is" "green" "-")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is not nice.
("Fiona" "is" "nice" "-")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is young.
("Fiona" "is" "young" "+")
If something is big and nice then it is rough.
((("something" "is" "big" "+") ("something" "is" "nice" "+")) -> ("something" "is" "rough" "+"))
If something is young and not quiet then it is green.
((("something" "is" "young" "+") ("something" "is" "quiet" "~")) -> ("something" "is" "green" "+"))
If Fiona is big and Fiona is not rough then Fiona is green.
((("Fiona" "is" "big" "+") ("Fiona" "is" "rough" "~")) -> ("Fiona" "is" "green" "+"))
Fiona is not green.
True
1
proof
[(triple2)]
("Fiona" "is" "green" "-")
triple2
Fiona is not young.
False
1
inv-proof
[(triple7)]
("Fiona" "is" "young" "-")
triple7
@0: Fiona is big.[(triple1)] Fiona is kind.[(triple3)] Fiona is not green.[(triple2)] Fiona is not nice.[(triple4)] Fiona is quiet.[(triple5)] Fiona is rough.[(triple6)] Fiona is young.[(triple7)]
Fiona is big.
("Fiona" "is" "big" "+")
triple1
Fiona is kind.
("Fiona" "is" "kind" "+")
triple3
Fiona is not green.
("Fiona" "is" "green" "-")
triple2
Fiona is not nice.
("Fiona" "is" "nice" "-")
triple4
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple5
Fiona is rough.
("Fiona" "is" "rough" "+")
triple6
Fiona is young.
("Fiona" "is" "young" "+")
triple7