Anne is furry. Anne is round. Anne is smart. Anne is young. Gary is blue. Gary is not furry. Gary is red. Gary is round. Gary is smart. Gary is young. If Anne is furry and Anne is young then Anne is not blue. If Gary is young then Gary is smart. If something is furry and not blue then it is not red.
Anne is furry.
("Anne" "is" "furry" "+")
Anne is round.
("Anne" "is" "round" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Anne is young.
("Anne" "is" "young" "+")
Gary is blue.
("Gary" "is" "blue" "+")
Gary is not furry.
("Gary" "is" "furry" "-")
Gary is red.
("Gary" "is" "red" "+")
Gary is round.
("Gary" "is" "round" "+")
Gary is smart.
("Gary" "is" "smart" "+")
Gary is young.
("Gary" "is" "young" "+")
If Anne is furry and Anne is young then Anne is not blue.
((("Anne" "is" "furry" "+") ("Anne" "is" "young" "+")) -> ("Anne" "is" "blue" "-"))
If Gary is young then Gary is smart.
((("Gary" "is" "young" "+")) -> ("Gary" "is" "smart" "+"))
If something is furry and not blue then it is not red.
((("something" "is" "furry" "+") ("something" "is" "blue" "~")) -> ("something" "is" "red" "-"))
Gary is not furry.
True
1
proof
[(triple6)]
("Gary" "is" "furry" "-")
triple6
Gary is not round.
False
1
inv-proof
[(triple8)]
("Gary" "is" "round" "-")
triple8
Anne is not blue.
True
3
proof
[(((triple1 triple4) -> rule1))]
("Anne" "is" "blue" "-")
((triple1 triple4) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is blue.
False
3
inv-proof
[(((triple1 triple4) -> rule1))]
("Anne" "is" "blue" "+")
((triple1 triple4) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not red.
True
5
proof
[(((triple1 ((triple1 triple4) -> rule1)) -> rule3))]
("Anne" "is" "red" "-")
((triple1 ((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is not blue.
("Anne" "is" "blue" "-")
int2
Anne is red.
False
5
inv-proof
[(((triple1 ((triple1 triple4) -> rule1)) -> rule3))]
("Anne" "is" "red" "+")
((triple1 ((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is not blue.
("Anne" "is" "blue" "-")
int2
Gary is not nice.
Unknown
inv-random
[@0: Gary is nice.[CWA. Example of deepest failure = (FAIL)]]
("Gary" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
@0: Anne is furry.[(triple1)] Anne is round.[(triple2)] Anne is smart.[(triple3)] Anne is young.[(triple4)] Gary is blue.[(triple5)] Gary is not furry.[(triple6)] Gary is red.[(triple7)] Gary is round.[(triple8)] Gary is smart.[(triple9 OR ((triple10) -> rule2))] Gary is young.[(triple10)] @1: Anne is not blue.[(((triple1 triple4) -> rule1))] @2: Anne is not red.[(((triple1 ((triple1 triple4) -> rule1)) -> rule3))]
Anne is furry.
("Anne" "is" "furry" "+")
triple1
Anne is round.
("Anne" "is" "round" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Gary is blue.
("Gary" "is" "blue" "+")
triple5
Gary is not furry.
("Gary" "is" "furry" "-")
triple6
Gary is red.
("Gary" "is" "red" "+")
triple7
Gary is round.
("Gary" "is" "round" "+")
triple8
Gary is smart.
("Gary" "is" "smart" "+")
triple9
((triple10) -> (rule2 % int1))
Gary is smart.
("Gary" "is" "smart" "+")
int1
Gary is young.
("Gary" "is" "young" "+")
triple10
Anne is not blue.
("Anne" "is" "blue" "-")
((triple1 triple4) -> (rule1 % int1))
Anne is not blue.
("Anne" "is" "blue" "-")
int1
Anne is not red.
("Anne" "is" "red" "-")
((triple1 ((triple1 triple4) -> (rule1 % int2))) -> (rule3 % int1))
Anne is not red.
("Anne" "is" "red" "-")
int1
Anne is not blue.
("Anne" "is" "blue" "-")
int2