Anne is cold. Anne is green. Anne is red. Anne is round. Anne is not white. Erin is cold. Erin is white. Gary is green. Gary is quiet. Gary is round. Gary is white. Harry is cold. Harry is not green. Harry is quiet. Harry is round. If Anne is red then Anne is cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is not white.
("Anne" "is" "white" "-")
Erin is cold.
("Erin" "is" "cold" "+")
Erin is white.
("Erin" "is" "white" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is quiet.
("Gary" "is" "quiet" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not green.
("Harry" "is" "green" "-")
Harry is quiet.
("Harry" "is" "quiet" "+")
Harry is round.
("Harry" "is" "round" "+")
If Anne is red then Anne is cold.
((("Anne" "is" "red" "+")) -> ("Anne" "is" "cold" "+"))
Erin is cold.
True
1
proof
[(triple6)]
("Erin" "is" "cold" "+")
triple6
Anne is not round.
False
1
inv-proof
[(triple4)]
("Anne" "is" "round" "-")
triple4
Harry is not smart.
Unknown
inv-random
[@0: Harry is smart.[CWA. Example of deepest failure = (FAIL)]]
("Harry" "is" "smart" "-")
Erin is round.
Unknown
random
[@0: Erin is round.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "round" "+")
@0: Anne is cold.[(triple1 OR ((triple3) -> rule1))] Anne is green.[(triple2)] Anne is not white.[(triple5)] Anne is red.[(triple3)] Anne is round.[(triple4)] Erin is cold.[(triple6)] Erin is white.[(triple7)] Gary is green.[(triple8)] Gary is quiet.[(triple9)] Gary is round.[(triple10)] Gary is white.[(triple11)] Harry is cold.[(triple12)] Harry is not green.[(triple13)] Harry is quiet.[(triple14)] Harry is round.[(triple15)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3) -> (rule1 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is green.
("Anne" "is" "green" "+")
triple2
Anne is not white.
("Anne" "is" "white" "-")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Erin is cold.
("Erin" "is" "cold" "+")
triple6
Erin is white.
("Erin" "is" "white" "+")
triple7
Gary is green.
("Gary" "is" "green" "+")
triple8
Gary is quiet.
("Gary" "is" "quiet" "+")
triple9
Gary is round.
("Gary" "is" "round" "+")
triple10
Gary is white.
("Gary" "is" "white" "+")
triple11
Harry is cold.
("Harry" "is" "cold" "+")
triple12
Harry is not green.
("Harry" "is" "green" "-")
triple13
Harry is quiet.
("Harry" "is" "quiet" "+")
triple14
Harry is round.
("Harry" "is" "round" "+")
triple15