Erin is cold. Erin is green. Erin is nice. Erin is quiet. Erin is rough. Erin is round. Erin is white. Harry is cold. Harry is not green. Harry is nice. Harry is quiet. Harry is rough. Harry is round. Harry is white. If someone is rough and not round then they are not green. All green people are white.
Erin is cold.
("Erin" "is" "cold" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is round.
("Harry" "is" "round" "+")
Harry is white.
("Harry" "is" "white" "+")
If someone is rough and not round then they are not green.
((("someone" "is" "rough" "+") ("someone" "is" "round" "~")) -> ("someone" "is" "green" "-"))
All green people are white.
((("someone" "is" "green" "+")) -> ("someone" "is" "white" "+"))
Erin is rough.
True
1
proof
[(triple5)]
("Erin" "is" "rough" "+")
triple5
Erin is not green.
False
1
inv-proof
[(triple2)]
("Erin" "is" "green" "-")
triple2
@0: Erin is cold.[(triple1)] Erin is green.[(triple2)] Erin is nice.[(triple3)] Erin is quiet.[(triple4)] Erin is rough.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7 OR ((triple2) -> rule2))] Harry is cold.[(triple8)] Harry is nice.[(triple10)] Harry is not green.[(triple9)] Harry is quiet.[(triple11)] Harry is rough.[(triple12)] Harry is round.[(triple13)] Harry is white.[(triple14)]
Erin is cold.
("Erin" "is" "cold" "+")
triple1
Erin is green.
("Erin" "is" "green" "+")
triple2
Erin is nice.
("Erin" "is" "nice" "+")
triple3
Erin is quiet.
("Erin" "is" "quiet" "+")
triple4
Erin is rough.
("Erin" "is" "rough" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
((triple2) -> (rule2 % int1))
Erin is white.
("Erin" "is" "white" "+")
int1
Harry is cold.
("Harry" "is" "cold" "+")
triple8
Harry is nice.
("Harry" "is" "nice" "+")
triple10
Harry is not green.
("Harry" "is" "green" "-")
triple9
Harry is quiet.
("Harry" "is" "quiet" "+")
triple11
Harry is rough.
("Harry" "is" "rough" "+")
triple12
Harry is round.
("Harry" "is" "round" "+")
triple13
Harry is white.
("Harry" "is" "white" "+")
triple14