Anne is cold. Anne is furry. Anne is nice. Anne is red. Anne is smart. Charlie is nice. Charlie is quiet. Charlie is red. Charlie is smart. Charlie is young. If someone is cold and smart then they are furry. If someone is quiet then they are cold.
Anne is cold.
("Anne" "is" "cold" "+")
Anne is furry.
("Anne" "is" "furry" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is red.
("Anne" "is" "red" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is quiet.
("Charlie" "is" "quiet" "+")
Charlie is red.
("Charlie" "is" "red" "+")
Charlie is smart.
("Charlie" "is" "smart" "+")
Charlie is young.
("Charlie" "is" "young" "+")
If someone is cold and smart then they are furry.
((("someone" "is" "cold" "+") ("someone" "is" "smart" "+")) -> ("someone" "is" "furry" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
Charlie is red.
True
1
proof
[(triple8)]
("Charlie" "is" "red" "+")
triple8
Charlie is not nice.
False
1
inv-proof
[(triple6)]
("Charlie" "is" "nice" "-")
triple6
Charlie is cold.
True
2
proof
[(((triple7) -> rule2))]
("Charlie" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is not cold.
False
2
inv-proof
[(((triple7) -> rule2))]
("Charlie" "is" "cold" "-")
((triple7) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
True
4
proof
[(((((triple7) -> rule2) triple9) -> rule1))]
("Charlie" "is" "furry" "+")
((((triple7) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Charlie is not furry.
False
4
inv-proof
[(((((triple7) -> rule2) triple9) -> rule1))]
("Charlie" "is" "furry" "-")
((((triple7) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2
Anne is not quiet.
Unknown
inv-random
[@0: Anne is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "quiet" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
@0: Anne is cold.[(triple1)] Anne is furry.[(triple2 OR ((triple1 triple5) -> rule1))] Anne is nice.[(triple3)] Anne is red.[(triple4)] Anne is smart.[(triple5)] Charlie is nice.[(triple6)] Charlie is quiet.[(triple7)] Charlie is red.[(triple8)] Charlie is smart.[(triple9)] Charlie is young.[(triple10)] @1: Charlie is cold.[(((triple7) -> rule2))] @2: Charlie is furry.[(((((triple7) -> rule2) triple9) -> rule1))]
Anne is cold.
("Anne" "is" "cold" "+")
triple1
Anne is furry.
("Anne" "is" "furry" "+")
triple2
((triple1 triple5) -> (rule1 % int1))
Anne is furry.
("Anne" "is" "furry" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is red.
("Anne" "is" "red" "+")
triple4
Anne is smart.
("Anne" "is" "smart" "+")
triple5
Charlie is nice.
("Charlie" "is" "nice" "+")
triple6
Charlie is quiet.
("Charlie" "is" "quiet" "+")
triple7
Charlie is red.
("Charlie" "is" "red" "+")
triple8
Charlie is smart.
("Charlie" "is" "smart" "+")
triple9
Charlie is young.
("Charlie" "is" "young" "+")
triple10
Charlie is cold.
("Charlie" "is" "cold" "+")
((triple7) -> (rule2 % int1))
Charlie is cold.
("Charlie" "is" "cold" "+")
int1
Charlie is furry.
("Charlie" "is" "furry" "+")
((((triple7) -> (rule2 % int2)) triple9) -> (rule1 % int1))
Charlie is furry.
("Charlie" "is" "furry" "+")
int1
Charlie is cold.
("Charlie" "is" "cold" "+")
int2