Anne is blue. Anne is cold. Anne is furry. Anne is round. Dave is blue. Gary is round. Harry is big. Harry is blue. Harry is cold. Harry is furry. Harry is nice. Harry is not round. If Gary is not blue then Gary is smart. If Gary is nice and Gary is round then Gary is not furry. Smart things are nice.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Dave is blue.
("Dave" "is" "blue" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is big.
("Harry" "is" "big" "+")
Harry is blue.
("Harry" "is" "blue" "+")
Harry is cold.
("Harry" "is" "cold" "+")
Harry is furry.
("Harry" "is" "furry" "+")
Harry is nice.
("Harry" "is" "nice" "+")
Harry is not round.
("Harry" "is" "round" "-")
If Gary is not blue then Gary is smart.
((("Gary" "is" "blue" "~")) -> ("Gary" "is" "smart" "+"))
If Gary is nice and Gary is round then Gary is not furry.
((("Gary" "is" "nice" "+") ("Gary" "is" "round" "+")) -> ("Gary" "is" "furry" "-"))
Smart things are nice.
((("something" "is" "smart" "+")) -> ("something" "is" "nice" "+"))
Harry is not round.
True
1
proof
[(triple12)]
("Harry" "is" "round" "-")
triple12
Harry is not cold.
False
1
inv-proof
[(triple9)]
("Harry" "is" "cold" "-")
triple9
Anne is not nice.
Unknown
inv-rconc
[@1: Anne is nice.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("Anne" "is" "nice" "-")
Dave is smart.
Unknown
random
[@0: Dave is smart.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "smart" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is round.[(triple4)] Dave is blue.[(triple5)] Gary is round.[(triple6)] Harry is big.[(triple7)] Harry is blue.[(triple8)] Harry is cold.[(triple9)] Harry is furry.[(triple10)] Harry is nice.[(triple11)] Harry is not round.[(triple12)]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is round.
("Anne" "is" "round" "+")
triple4
Dave is blue.
("Dave" "is" "blue" "+")
triple5
Gary is round.
("Gary" "is" "round" "+")
triple6
Harry is big.
("Harry" "is" "big" "+")
triple7
Harry is blue.
("Harry" "is" "blue" "+")
triple8
Harry is cold.
("Harry" "is" "cold" "+")
triple9
Harry is furry.
("Harry" "is" "furry" "+")
triple10
Harry is nice.
("Harry" "is" "nice" "+")
triple11
Harry is not round.
("Harry" "is" "round" "-")
triple12