Erin is not big. Erin is blue. Erin is not green. Erin is kind. Erin is quiet. Erin is rough. Erin is not round. Fiona is big. Fiona is blue. Fiona is green. Fiona is kind. Fiona is quiet. Fiona is rough. Fiona is round. If Erin is green and Erin is not round then Erin is not quiet.
Erin is not big.
("Erin" "is" "big" "-")
Erin is blue.
("Erin" "is" "blue" "+")
Erin is not green.
("Erin" "is" "green" "-")
Erin is kind.
("Erin" "is" "kind" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Fiona is big.
("Fiona" "is" "big" "+")
Fiona is blue.
("Fiona" "is" "blue" "+")
Fiona is green.
("Fiona" "is" "green" "+")
Fiona is kind.
("Fiona" "is" "kind" "+")
Fiona is quiet.
("Fiona" "is" "quiet" "+")
Fiona is rough.
("Fiona" "is" "rough" "+")
Fiona is round.
("Fiona" "is" "round" "+")
If Erin is green and Erin is not round then Erin is not quiet.
((("Erin" "is" "green" "+") ("Erin" "is" "round" "~")) -> ("Erin" "is" "quiet" "-"))
Fiona is round.
True
1
proof
[(triple14)]
("Fiona" "is" "round" "+")
triple14
Fiona is not round.
False
1
inv-proof
[(triple14)]
("Fiona" "is" "round" "-")
triple14
@0: Erin is blue.[(triple2)] Erin is kind.[(triple4)] Erin is not big.[(triple1)] Erin is not green.[(triple3)] Erin is not round.[(triple7)] Erin is quiet.[(triple5)] Erin is rough.[(triple6)] Fiona is big.[(triple8)] Fiona is blue.[(triple9)] Fiona is green.[(triple10)] Fiona is kind.[(triple11)] Fiona is quiet.[(triple12)] Fiona is rough.[(triple13)] Fiona is round.[(triple14)]
Erin is blue.
("Erin" "is" "blue" "+")
triple2
Erin is kind.
("Erin" "is" "kind" "+")
triple4
Erin is not big.
("Erin" "is" "big" "-")
triple1
Erin is not green.
("Erin" "is" "green" "-")
triple3
Erin is not round.
("Erin" "is" "round" "-")
triple7
Erin is quiet.
("Erin" "is" "quiet" "+")
triple5
Erin is rough.
("Erin" "is" "rough" "+")
triple6
Fiona is big.
("Fiona" "is" "big" "+")
triple8
Fiona is blue.
("Fiona" "is" "blue" "+")
triple9
Fiona is green.
("Fiona" "is" "green" "+")
triple10
Fiona is kind.
("Fiona" "is" "kind" "+")
triple11
Fiona is quiet.
("Fiona" "is" "quiet" "+")
triple12
Fiona is rough.
("Fiona" "is" "rough" "+")
triple13
Fiona is round.
("Fiona" "is" "round" "+")
triple14