Anne is blue. Anne is furry. Anne is smart. All furry, red things are quiet. All furry, blue things are red. If Anne is quiet then Anne is smart.
Anne is blue.
("Anne" "is" "blue" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is smart.
("Anne" "is" "smart" "+")
All furry, red things are quiet.
((("something" "is" "furry" "+") ("something" "is" "red" "+")) -> ("something" "is" "quiet" "+"))
All furry, blue things are red.
((("something" "is" "furry" "+") ("something" "is" "blue" "+")) -> ("something" "is" "red" "+"))
If Anne is quiet then Anne is smart.
((("Anne" "is" "quiet" "+")) -> ("Anne" "is" "smart" "+"))
Anne is furry.
True
1
proof
[(triple2)]
("Anne" "is" "furry" "+")
triple2
Anne is not smart.
False
1
inv-proof
[(triple3 OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1)) -> rule3))]
("Anne" "is" "smart" "-")
triple3
((((triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is red.
True
3
proof
[(((triple2 triple1) -> rule2))]
("Anne" "is" "red" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is not red.
False
3
inv-proof
[(((triple2 triple1) -> rule2))]
("Anne" "is" "red" "-")
((triple2 triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
True
5
proof
[(((triple2 ((triple2 triple1) -> rule2)) -> rule1))]
("Anne" "is" "quiet" "+")
((triple2 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not quiet.
False
5
inv-proof
[(((triple2 ((triple2 triple1) -> rule2)) -> rule1))]
("Anne" "is" "quiet" "-")
((triple2 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2
Anne is not nice.
Unknown
inv-random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "-")
Anne is cold.
Unknown
random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "+")
@0: Anne is blue.[(triple1)] Anne is furry.[(triple2)] Anne is smart.[(triple3 OR ((((triple2 ((triple2 triple1) -> rule2)) -> rule1)) -> rule3))] @1: Anne is red.[(((triple2 triple1) -> rule2))] @2: Anne is quiet.[(((triple2 ((triple2 triple1) -> rule2)) -> rule1))]
Anne is blue.
("Anne" "is" "blue" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
Anne is smart.
("Anne" "is" "smart" "+")
triple3
((((triple2 ((triple2 triple1) -> (rule2 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
Anne is smart.
("Anne" "is" "smart" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
int2
Anne is red.
("Anne" "is" "red" "+")
int3
Anne is red.
("Anne" "is" "red" "+")
((triple2 triple1) -> (rule2 % int1))
Anne is red.
("Anne" "is" "red" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
((triple2 ((triple2 triple1) -> (rule2 % int2))) -> (rule1 % int1))
Anne is quiet.
("Anne" "is" "quiet" "+")
int1
Anne is red.
("Anne" "is" "red" "+")
int2