Anne is cold. Anne is kind. Anne is quiet. Anne is young. Bob is quiet. Bob is white. Bob is young. Quiet, cold things are furry. White, young things are kind. Quiet, kind things are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is young.
("Anne" "is" "young" "+")
Bob is quiet.
("Bob" "is" "quiet" "+")
Bob is white.
("Bob" "is" "white" "+")
Bob is young.
("Bob" "is" "young" "+")
Quiet, cold things are furry.
((("something" "is" "quiet" "+") ("something" "is" "cold" "+")) -> ("something" "is" "furry" "+"))
White, young things are kind.
((("something" "is" "white" "+") ("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
Quiet, kind things are cold.
((("something" "is" "quiet" "+") ("something" "is" "kind" "+")) -> ("something" "is" "cold" "+"))
Anne is kind.
True
1
proof
[(triple2)]
("Anne" "is" "kind" "+")
triple2
Anne is not cold.
False
1
inv-proof
[(triple1 OR ((triple3 triple2) -> rule3))]
("Anne" "is" "cold" "-")
triple1
((triple3 triple2) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Bob is kind.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Bob" "is" "kind" "+")
((triple6 triple7) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Anne is not furry.
False
3
inv-proof
[(((triple3 triple1) -> rule1) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule1))]
("Anne" "is" "furry" "-")
((triple3 triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple3 ((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Bob is cold.
True
5
proof
[(((triple5 ((triple6 triple7) -> rule2)) -> rule3))]
("Bob" "is" "cold" "+")
((triple5 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is not cold.
False
5
inv-proof
[(((triple5 ((triple6 triple7) -> rule2)) -> rule3))]
("Bob" "is" "cold" "-")
((triple5 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
True
7
proof
[(((triple5 ((triple5 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
("Bob" "is" "furry" "+")
((triple5 ((triple5 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Bob is not furry.
False
7
inv-proof
[(((triple5 ((triple5 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
("Bob" "is" "furry" "-")
((triple5 ((triple5 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3
Anne is not white.
Unknown
inv-random
[@0: Anne is white.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "white" "-")
Anne is big.
Unknown
random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "+")
@0: Anne is cold.[(triple1 OR ((triple3 triple2) -> rule3))] Anne is kind.[(triple2)] Anne is quiet.[(triple3)] Anne is young.[(triple4)] Bob is quiet.[(triple5)] Bob is white.[(triple6)] Bob is young.[(triple7)] @1: Anne is furry.[(((triple3 triple1) -> rule1) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule1))] Bob is kind.[(((triple6 triple7) -> rule2))] @2: Bob is cold.[(((triple5 ((triple6 triple7) -> rule2)) -> rule3))] @3: Bob is furry.[(((triple5 ((triple5 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
((triple3 triple2) -> (rule3 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is young.
("Anne" "is" "young" "+")
triple4
Bob is quiet.
("Bob" "is" "quiet" "+")
triple5
Bob is white.
("Bob" "is" "white" "+")
triple6
Bob is young.
("Bob" "is" "young" "+")
triple7
Anne is furry.
("Anne" "is" "furry" "+")
((triple3 triple1) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
((triple3 ((triple3 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
((triple6 triple7) -> (rule2 % int1))
Bob is kind.
("Bob" "is" "kind" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
((triple5 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Bob is cold.
("Bob" "is" "cold" "+")
int1
Bob is kind.
("Bob" "is" "kind" "+")
int2
Bob is furry.
("Bob" "is" "furry" "+")
((triple5 ((triple5 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Bob is furry.
("Bob" "is" "furry" "+")
int1
Bob is cold.
("Bob" "is" "cold" "+")
int2
Bob is kind.
("Bob" "is" "kind" "+")
int3