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