Anne is blue. Anne is cold. Anne is furry. Anne is not green. Anne is not round. Anne is not smart. Bob is blue. Bob is furry. Bob is not green. Bob is round. Bob is smart. Gary is furry. Gary is kind. Gary is round. Harry is cold. All kind, blue things are not round. If Gary is round and Gary is furry then Gary is green. If Anne is cold and Anne is blue then Anne is not round. If something is round then it is cold. If Harry is round and Harry is green then Harry is kind. If something is green and not blue then it is smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is not green.
("Anne" "is" "green" "-")
Anne is not round.
("Anne" "is" "round" "-")
Anne is not smart.
("Anne" "is" "smart" "-")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is not green.
("Bob" "is" "green" "-")
Bob is round.
("Bob" "is" "round" "+")
Bob is smart.
("Bob" "is" "smart" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is kind.
("Gary" "is" "kind" "+")
Gary is round.
("Gary" "is" "round" "+")
Harry is cold.
("Harry" "is" "cold" "+")
All kind, blue things are not round.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "is" "round" "-"))
If Gary is round and Gary is furry then Gary is green.
((("Gary" "is" "round" "+") ("Gary" "is" "furry" "+")) -> ("Gary" "is" "green" "+"))
If Anne is cold and Anne is blue then Anne is not round.
((("Anne" "is" "cold" "+") ("Anne" "is" "blue" "+")) -> ("Anne" "is" "round" "-"))
If something is round then it is cold.
((("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If Harry is round and Harry is green then Harry is kind.
((("Harry" "is" "round" "+") ("Harry" "is" "green" "+")) -> ("Harry" "is" "kind" "+"))
If something is green and not blue then it is smart.
((("something" "is" "green" "+") ("something" "is" "blue" "~")) -> ("something" "is" "smart" "+"))
Bob is furry.
True
1
proof
[(triple8)]
("Bob" "is" "furry" "+")
triple8
Anne is smart.
False
1
inv-proof
[(triple6)]
("Anne" "is" "smart" "+")
triple6
Gary is not smart.
Unknown
inv-rconc
[@1: Gary is smart.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("Gary" "is" "smart" "-")
Bob is kind.
Unknown
random
[@0: Bob is kind.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is cold.[(triple2)] Anne is furry.[(triple3)] Anne is not green.[(triple4)] Anne is not round.[(triple5 OR ((triple2 triple1) -> rule3))] Anne is not smart.[(triple6)] Bob is blue.[(triple7)] Bob is furry.[(triple8)] Bob is not green.[(triple9)] Bob is round.[(triple10)] Bob is smart.[(triple11)] Gary is furry.[(triple12)] Gary is kind.[(triple13)] Gary is round.[(triple14)] Harry is cold.[(triple15)] @1: Bob is cold.[(((triple10) -> rule4))] Gary is cold.[(((triple14) -> rule4))] Gary is green.[(((triple14 triple12) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is cold.
("Anne" "is" "cold" "+")
triple2
Anne is furry.
("Anne" "is" "furry" "+")
triple3
Anne is not green.
("Anne" "is" "green" "-")
triple4
Anne is not round.
("Anne" "is" "round" "-")
triple5
((triple2 triple1) -> (rule3 % int1))
Anne is not round.
("Anne" "is" "round" "-")
int1
Anne is not smart.
("Anne" "is" "smart" "-")
triple6
Bob is blue.
("Bob" "is" "blue" "+")
triple7
Bob is furry.
("Bob" "is" "furry" "+")
triple8
Bob is not green.
("Bob" "is" "green" "-")
triple9
Bob is round.
("Bob" "is" "round" "+")
triple10
Bob is smart.
("Bob" "is" "smart" "+")
triple11
Gary is furry.
("Gary" "is" "furry" "+")
triple12
Gary is kind.
("Gary" "is" "kind" "+")
triple13
Gary is round.
("Gary" "is" "round" "+")
triple14
Harry is cold.
("Harry" "is" "cold" "+")
triple15
Bob is cold.
("Bob" "is" "cold" "+")
((triple10) -> (rule4 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Gary is cold.
("Gary" "is" "cold" "+")
((triple14) -> (rule4 % int1))
Gary is cold.
("Gary" "is" "cold" "+")
int1
Gary is green.
("Gary" "is" "green" "+")
((triple14 triple12) -> (rule2 % int1))
Gary is green.
("Gary" "is" "green" "+")
int1