Anne is blue. Anne is not furry. Anne is green. Anne is red. Anne is not smart. Anne is young. Bob is not blue. Bob is cold. Bob is furry. Bob is green. Gary is furry. Gary is green. Gary is red. Gary is smart. Gary is young. If something is blue and not red then it is not furry. If something is smart and furry then it is blue.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is not furry.
("Anne" "is" "furry" "-")
Anne is green.
("Anne" "is" "green" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is not smart.
("Anne" "is" "smart" "-")
Anne is young.
("Anne" "is" "young" "+")
Bob is not blue.
("Bob" "is" "blue" "-")
Bob is cold.
("Bob" "is" "cold" "+")
Bob is furry.
("Bob" "is" "furry" "+")
Bob is green.
("Bob" "is" "green" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is green.
("Gary" "is" "green" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If something is blue and not red then it is not furry.
((("something" "is" "blue" "+") ("something" "is" "red" "~")) -> ("something" "is" "furry" "-"))
If something is smart and furry then it is blue.
((("something" "is" "smart" "+") ("something" "is" "furry" "+")) -> ("something" "is" "blue" "+"))
Gary is furry.
True
1
proof
[(triple11)]
("Gary" "is" "furry" "+")
triple11
Anne is smart.
False
1
inv-proof
[(triple5)]
("Anne" "is" "smart" "+")
triple5
Gary is blue.
True
3
proof
[(((triple14 triple11) -> rule2))]
("Gary" "is" "blue" "+")
((triple14 triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Gary is not blue.
False
3
inv-proof
[(((triple14 triple11) -> rule2))]
("Gary" "is" "blue" "-")
((triple14 triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1
Bob is not young.
Unknown
inv-random
[@0: Bob is young.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "young" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
Gary is not cold.
Unknown
inv-random
[@0: Gary is cold.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "cold" "-")
Bob is red.
Unknown
random
[@0: Bob is red.[CWA. Example of deepest failure = (FAIL)]]
("Bob" "is" "red" "+")
@0: Anne is blue.[(triple1)] Anne is green.[(triple3)] Anne is not furry.[(triple2)] Anne is not smart.[(triple5)] Anne is red.[(triple4)] Anne is young.[(triple6)] Bob is cold.[(triple8)] Bob is furry.[(triple9)] Bob is green.[(triple10)] Bob is not blue.[(triple7)] Gary is furry.[(triple11)] Gary is green.[(triple12)] Gary is red.[(triple13)] Gary is smart.[(triple14)] Gary is young.[(triple15)] @1: Gary is blue.[(((triple14 triple11) -> rule2))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is green.
("Anne" "is" "green" "+")
triple3
Anne is not furry.
("Anne" "is" "furry" "-")
triple2
Anne is not smart.
("Anne" "is" "smart" "-")
triple5
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is young.
("Anne" "is" "young" "+")
triple6
Bob is cold.
("Bob" "is" "cold" "+")
triple8
Bob is furry.
("Bob" "is" "furry" "+")
triple9
Bob is green.
("Bob" "is" "green" "+")
triple10
Bob is not blue.
("Bob" "is" "blue" "-")
triple7
Gary is furry.
("Gary" "is" "furry" "+")
triple11
Gary is green.
("Gary" "is" "green" "+")
triple12
Gary is red.
("Gary" "is" "red" "+")
triple13
Gary is smart.
("Gary" "is" "smart" "+")
triple14
Gary is young.
("Gary" "is" "young" "+")
triple15
Gary is blue.
("Gary" "is" "blue" "+")
((triple14 triple11) -> (rule2 % int1))
Gary is blue.
("Gary" "is" "blue" "+")
int1