Anne is blue. Anne is furry. Anne is round. Anne is white. Bob is blue. Bob is not furry. Bob is not kind. Bob is not red. Bob is not round. Bob is white. Bob is young. Gary is blue. Gary is furry. Gary is red. Gary is round. Gary is white. Furry people are red. If Bob is blue and Bob is round then Bob is white. If someone is red and not furry then they are white.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is white.
("Anne" "is" "white" "+")
Bob is blue.
("Bob" "is" "blue" "+")
Bob is not furry.
("Bob" "is" "furry" "-")
Bob is not kind.
("Bob" "is" "kind" "-")
Bob is not red.
("Bob" "is" "red" "-")
Bob is not round.
("Bob" "is" "round" "-")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is furry.
("Gary" "is" "furry" "+")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is white.
("Gary" "is" "white" "+")
Furry people are red.
((("someone" "is" "furry" "+")) -> ("someone" "is" "red" "+"))
If Bob is blue and Bob is round then Bob is white.
((("Bob" "is" "blue" "+") ("Bob" "is" "round" "+")) -> ("Bob" "is" "white" "+"))
If someone is red and not furry then they are white.
((("someone" "is" "red" "+") ("someone" "is" "furry" "~")) -> ("someone" "is" "white" "+"))
Gary is blue.
True
1
proof
[(triple12)]
("Gary" "is" "blue" "+")
triple12
Gary is not blue.
False
1
inv-proof
[(triple12)]
("Gary" "is" "blue" "-")
triple12
Anne is red.
True
2
proof
[(((triple2) -> rule1))]
("Anne" "is" "red" "+")
((triple2) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
2
inv-proof
[(((triple2) -> rule1))]
("Anne" "is" "red" "-")
((triple2) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Gary is not kind.
Unknown
inv-random
[@0: Gary is kind.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "kind" "-")
Gary is young.
Unknown
random
[@0: Gary is young.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "young" "+")
Anne is not young.
Unknown
inv-random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "-")
Anne is kind.
Unknown
random
[@0: Anne is kind.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "kind" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is round.[(triple3)] Anne is white.[(triple4)] Bob is blue.[(triple5)] Bob is not furry.[(triple6)] Bob is not kind.[(triple7)] Bob is not red.[(triple8)] Bob is not round.[(triple9)] Bob is white.[(triple10)] Bob is young.[(triple11)] Gary is blue.[(triple12)] Gary is furry.[(triple13)] Gary is red.[(triple14 OR ((triple13) -> rule1))] Gary is round.[(triple15)] Gary is white.[(triple16)] @1: Anne is red.[(((triple2) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is round.
("Anne" "is" "round" "+")
triple3
Anne is white.
("Anne" "is" "white" "+")
triple4
Bob is blue.
("Bob" "is" "blue" "+")
triple5
Bob is not furry.
("Bob" "is" "furry" "-")
triple6
Bob is not kind.
("Bob" "is" "kind" "-")
triple7
Bob is not red.
("Bob" "is" "red" "-")
triple8
Bob is not round.
("Bob" "is" "round" "-")
triple9
Bob is white.
("Bob" "is" "white" "+")
triple10
Bob is young.
("Bob" "is" "young" "+")
triple11
Gary is blue.
("Gary" "is" "blue" "+")
triple12
Gary is furry.
("Gary" "is" "furry" "+")
triple13
Gary is red.
("Gary" "is" "red" "+")
triple14
((triple13) -> (rule1 % int1))
Gary is red.
("Gary" "is" "red" "+")
int1
Gary is round.
("Gary" "is" "round" "+")
triple15
Gary is white.
("Gary" "is" "white" "+")
triple16
Anne is red.
("Anne" "is" "red" "+")
((triple2) -> (rule1 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1