Anne is cold. Bob is blue. Bob is cold. Bob is nice. Bob is white. Harry is blue. Harry is cold. Harry is not nice. Harry is not round. Harry is smart. If Anne is not round then Anne is not white. If Bob is white then Bob is nice.
Anne is cold.
("Anne" "is" "cold" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is nice.
("Bob" "is" "nice" "+")
Bob is white.
("Bob" "is" "white" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is not nice.
("Harry" "is" "nice" "-")
Harry is not round.
("Harry" "is" "round" "-")
Harry is smart.
("Harry" "is" "smart" "+")
If Anne is not round then Anne is not white.
((("Anne" "is" "round" "~")) -> ("Anne" "is" "white" "-"))
If Bob is white then Bob is nice.
((("Bob" "is" "white" "+")) -> ("Bob" "is" "nice" "+"))
Bob is blue.
True
1
proof
[(triple2)]
("Bob" "is" "blue" "+")
triple2
Harry is nice.
False
1
inv-proof
[(triple8)]
("Harry" "is" "nice" "+")
triple8
Bob is not smart.
Unknown
inv-random
[@0: Bob is smart.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "smart" "-")
Anne is rough.
Unknown
random
[@0: Anne is rough.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "rough" "+")
@0: Anne is cold.[(triple1)] Bob is blue.[(triple2)] Bob is cold.[(triple3)] Bob is nice.[(triple4 OR ((triple5) -> rule2))] Bob is white.[(triple5)] Harry is blue.[(triple6)] Harry is cold.[(triple7)] Harry is not nice.[(triple8)] Harry is not round.[(triple9)] Harry is smart.[(triple10)]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Bob is blue.
("Bob" "is" "blue" "+")
triple2
Bob is cold.
("Bob" "is" "cold" "+")
triple3
Bob is nice.
("Bob" "is" "nice" "+")
triple4
((triple5) -> (rule2 % int1))
Bob is nice.
("Bob" "is" "nice" "+")
int1
Bob is white.
("Bob" "is" "white" "+")
triple5
Harry is blue.
("Harry" "is" "blue" "+")
triple6
Harry is cold.
("Harry" "is" "cold" "+")
triple7
Harry is not nice.
("Harry" "is" "nice" "-")
triple8
Harry is not round.
("Harry" "is" "round" "-")
triple9
Harry is smart.
("Harry" "is" "smart" "+")
triple10