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