Anne is kind. Anne is quiet. Anne is white. If Anne is nice then Anne is rough. If someone is quiet then they are rough. All green, cold people are nice. Quiet people are white. Quiet people are nice. If someone is cold then they are white. All green people are quiet. White, nice people are kind.
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is white.
("Anne" "is" "white" "+")
If Anne is nice then Anne is rough.
((("Anne" "is" "nice" "+")) -> ("Anne" "is" "rough" "+"))
If someone is quiet then they are rough.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "rough" "+"))
All green, cold people are nice.
((("someone" "is" "green" "+") ("someone" "is" "cold" "+")) -> ("someone" "is" "nice" "+"))
Quiet people are white.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "white" "+"))
Quiet people are nice.
((("someone" "is" "quiet" "+")) -> ("someone" "is" "nice" "+"))
If someone is cold then they are white.
((("someone" "is" "cold" "+")) -> ("someone" "is" "white" "+"))
All green people are quiet.
((("someone" "is" "green" "+")) -> ("someone" "is" "quiet" "+"))
White, nice people are kind.
((("someone" "is" "white" "+") ("someone" "is" "nice" "+")) -> ("someone" "is" "kind" "+"))
Anne is quiet.
True
1
proof
[(triple2)]
("Anne" "is" "quiet" "+")
triple2
Anne is not kind.
False
1
inv-proof
[(triple1 OR ((triple3 ((triple2) -> rule5)) -> rule8) OR ((((triple2) -> rule4) ((triple2) -> rule5)) -> rule8))]
("Anne" "is" "kind" "-")
triple1
((triple3 ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is nice.
True
2
proof
[(((triple2) -> rule5))]
("Anne" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not nice.
False
2
inv-proof
[(((triple2) -> rule5))]
("Anne" "is" "nice" "-")
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is not cold.
Unknown
inv-random
[@0: Anne is cold.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "cold" "-")
Anne is green.
Unknown
random
[@0: Anne is green.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "green" "+")
@0: Anne is kind.[(triple1 OR ((triple3 ((triple2) -> rule5)) -> rule8) OR ((((triple2) -> rule4) ((triple2) -> rule5)) -> rule8))] Anne is quiet.[(triple2)] Anne is white.[(triple3 OR ((triple2) -> rule4))] @1: Anne is nice.[(((triple2) -> rule5))] Anne is rough.[(((triple2) -> rule2) OR ((((triple2) -> rule5)) -> rule1))]
Anne is kind.
("Anne" "is" "kind" "+")
triple1
((triple3 ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
((((triple2) -> (rule4 % int3)) ((triple2) -> (rule5 % int2))) -> (rule8 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2
Anne is white.
("Anne" "is" "white" "+")
int3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple2
Anne is white.
("Anne" "is" "white" "+")
triple3
((triple2) -> (rule4 % int1))
Anne is white.
("Anne" "is" "white" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
((triple2) -> (rule5 % int1))
Anne is nice.
("Anne" "is" "nice" "+")
int1
Anne is rough.
("Anne" "is" "rough" "+")
((triple2) -> (rule2 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
((((triple2) -> (rule5 % int2))) -> (rule1 % int1))
Anne is rough.
("Anne" "is" "rough" "+")
int1
Anne is nice.
("Anne" "is" "nice" "+")
int2