Erin is blue. Erin is nice. Erin is red. Erin is rough. Erin is not round. Erin is white. Harry is blue. Harry is nice. Harry is red. Harry is rough. Harry is not round. Harry is white. Red things are not round. If Harry is not cold then Harry is red. If something is blue and not red then it is not rough.
Erin is blue.
("Erin" "is" "blue" "+")
Erin is nice.
("Erin" "is" "nice" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is rough.
("Erin" "is" "rough" "+")
Erin is not round.
("Erin" "is" "round" "-")
Erin is white.
("Erin" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is red.
("Harry" "is" "red" "+")
Harry is rough.
("Harry" "is" "rough" "+")
Harry is not round.
("Harry" "is" "round" "-")
Harry is white.
("Harry" "is" "white" "+")
Red things are not round.
((("something" "is" "red" "+")) -> ("something" "is" "round" "-"))
If Harry is not cold then Harry is red.
((("Harry" "is" "cold" "~")) -> ("Harry" "is" "red" "+"))
If something is blue and not red then it is not rough.
((("something" "is" "blue" "+") ("something" "is" "red" "~")) -> ("something" "is" "rough" "-"))
Harry is nice.
True
1
proof
[(triple8)]
("Harry" "is" "nice" "+")
triple8
Harry is not red.
False
1
inv-proof
[(triple9)]
("Harry" "is" "red" "-")
triple9
Harry is not cold.
Unknown
inv-random
[@0: Harry is cold.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "cold" "-")
Erin is cold.
Unknown
random
[@0: Erin is cold.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "cold" "+")
@0: Erin is blue.[(triple1)] Erin is nice.[(triple2)] Erin is not round.[(triple5 OR ((triple3) -> rule1))] Erin is red.[(triple3)] Erin is rough.[(triple4)] Erin is white.[(triple6)] Harry is blue.[(triple7)] Harry is nice.[(triple8)] Harry is not round.[(triple11 OR ((triple9) -> rule1))] Harry is red.[(triple9)] Harry is rough.[(triple10)] Harry is white.[(triple12)]
Erin is blue.
("Erin" "is" "blue" "+")
triple1
Erin is nice.
("Erin" "is" "nice" "+")
triple2
Erin is not round.
("Erin" "is" "round" "-")
triple5
((triple3) -> (rule1 % int1))
Erin is not round.
("Erin" "is" "round" "-")
int1
Erin is red.
("Erin" "is" "red" "+")
triple3
Erin is rough.
("Erin" "is" "rough" "+")
triple4
Erin is white.
("Erin" "is" "white" "+")
triple6
Harry is blue.
("Harry" "is" "blue" "+")
triple7
Harry is nice.
("Harry" "is" "nice" "+")
triple8
Harry is not round.
("Harry" "is" "round" "-")
triple11
((triple9) -> (rule1 % int1))
Harry is not round.
("Harry" "is" "round" "-")
int1
Harry is red.
("Harry" "is" "red" "+")
triple9
Harry is rough.
("Harry" "is" "rough" "+")
triple10
Harry is white.
("Harry" "is" "white" "+")
triple12