Anne is nice. Anne is quiet. Dave is quiet. All cold, quiet people are blue. All red people are quiet. Cold people are nice. If someone is quiet then they are cold. If Dave is big then Dave is blue. If Anne is nice then Anne is blue.
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Dave is quiet.
("Dave" "is" "quiet" "+")
All cold, quiet people are blue.
((("someone" "is" "cold" "+") ("someone" "is" "quiet" "+")) -> ("someone" "is" "blue" "+"))
All red people are quiet.
((("someone" "is" "red" "+")) -> ("someone" "is" "quiet" "+"))
Cold people are nice.
((("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
If someone is quiet then they are cold.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "cold" "+"))
If Dave is big then Dave is blue.
((("Dave" "is" "big" "+")) -> ("Dave" "is" "blue" "+"))
If Anne is nice then Anne is blue.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "blue" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Dave is not quiet.
False
1
inv-proof
[(triple3)]
("Dave" "is" "quiet" "-")
triple3
Dave is cold.
True
2
proof
[(((triple3) -> rule4))]
("Dave" "is" "cold" "+")
((triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Anne is not cold.
False
2
inv-proof
[(((triple2) -> rule4))]
("Anne" "is" "cold" "-")
((triple2) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Anne is round.
Unknown
random
[@0: Anne is round.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "round" "+")
Anne is not red.
Unknown
inv-random
[@0: Anne is red.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "red" "-")
Dave is big.
Unknown
random
[@0: Dave is big.[CWA. Example of deepest failure = (FAIL)]]
("Dave" "is" "big" "+")
@0: Anne is nice.[(triple1 OR ((((triple2) -> rule4)) -> rule3))] Anne is quiet.[(triple2)] Dave is quiet.[(triple3)] @1: Anne is blue.[(((triple1) -> rule6) OR ((((triple2) -> rule4) triple2) -> rule1) OR ((((((triple2) -> rule4)) -> rule3)) -> rule6))] Anne is cold.[(((triple2) -> rule4))] Dave is cold.[(((triple3) -> rule4))] @2: Dave is blue.[(((((triple3) -> rule4) triple3) -> rule1))] Dave is nice.[(((((triple3) -> rule4)) -> rule3))]
Anne is nice.
("Anne" "is" "nice" "+")
triple1
((((triple2) -> (rule4 % int2))) -> (rule3 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Dave is quiet.
("Dave" "is" "quiet" "+")
triple3
Anne is blue.
("Anne" "is" "blue" "+")
((triple1) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((((triple2) -> (rule4 % int2)) triple2) -> (rule1 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is cold.
("Anne" "is" "cold" "+")
int2
((((((triple2) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is cold.
("Anne" "is" "cold" "+")
int3
Anne is cold.
("Anne" "is" "cold" "+")
((triple2) -> (rule4 % int1))
Anne is cold.
("Anne" "is" "cold" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
((triple3) -> (rule4 % int1))
Dave is cold.
("Dave" "is" "cold" "+")
int1
Dave is blue.
("Dave" "is" "blue" "+")
((((triple3) -> (rule4 % int2)) triple3) -> (rule1 % int1))
Dave is blue.
("Dave" "is" "blue" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2
Dave is nice.
("Dave" "is" "nice" "+")
((((triple3) -> (rule4 % int2))) -> (rule3 % int1))
Dave is nice.
("Dave" "is" "nice" "+")
int1
Dave is cold.
("Dave" "is" "cold" "+")
int2