Dave is blue. Dave is cold. Dave is red. Erin is cold. Erin is red. Erin is round. Erin is white. Gary is big. Gary is nice. Harry is white. If Harry is white then Harry is red.
Dave is blue.
("Dave" "is" "blue" "+")
Dave is cold.
("Dave" "is" "cold" "+")
Dave is red.
("Dave" "is" "red" "+")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is red.
("Erin" "is" "red" "+")
Erin is round.
("Erin" "is" "round" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is big.
("Gary" "is" "big" "+")
Gary is nice.
("Gary" "is" "nice" "+")
Harry is white.
("Harry" "is" "white" "+")
If Harry is white then Harry is red.
((("Harry" "is" "white" "+")) -> ("Harry" "is" "red" "+"))
Erin is red.
True
1
proof
[(triple5)]
("Erin" "is" "red" "+")
triple5
Harry is not white.
False
1
inv-proof
[(triple10)]
("Harry" "is" "white" "-")
triple10
Dave is not nice.
Unknown
inv-random
[@0: Dave is nice.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "nice" "-")
Harry is round.
Unknown
random
[@0: Harry is round.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "round" "+")
@0: Dave is blue.[(triple1)] Dave is cold.[(triple2)] Dave is red.[(triple3)] Erin is cold.[(triple4)] Erin is red.[(triple5)] Erin is round.[(triple6)] Erin is white.[(triple7)] Gary is big.[(triple8)] Gary is nice.[(triple9)] Harry is white.[(triple10)] @1: Harry is red.[(((triple10) -> rule1))]
Dave is blue.
("Dave" "is" "blue" "+")
triple1
Dave is cold.
("Dave" "is" "cold" "+")
triple2
Dave is red.
("Dave" "is" "red" "+")
triple3
Erin is cold.
("Erin" "is" "cold" "+")
triple4
Erin is red.
("Erin" "is" "red" "+")
triple5
Erin is round.
("Erin" "is" "round" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is big.
("Gary" "is" "big" "+")
triple8
Gary is nice.
("Gary" "is" "nice" "+")
triple9
Harry is white.
("Harry" "is" "white" "+")
triple10
Harry is red.
("Harry" "is" "red" "+")
((triple10) -> (rule1 % int1))
Harry is red.
("Harry" "is" "red" "+")
int1