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