Anne is green. Anne is young. Erin is green. Big people are round. All green people are kind. Green people are round. Young, kind people are blue. All round people are blue. If Anne is blue then Anne is big.
Anne is green.
("Anne" "is" "green" "+")
Anne is young.
("Anne" "is" "young" "+")
Erin is green.
("Erin" "is" "green" "+")
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
All green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
Green people are round.
((("someone" "is" "green" "+")) -> ("someone" "is" "round" "+"))
Young, kind people are blue.
((("someone" "is" "young" "+") ("someone" "is" "kind" "+")) -> ("someone" "is" "blue" "+"))
All round people are blue.
((("someone" "is" "round" "+")) -> ("someone" "is" "blue" "+"))
If Anne is blue then Anne is big.
((("Anne" "is" "blue" "+")) -> ("Anne" "is" "big" "+"))
Anne is green.
True
1
proof
[(triple1)]
("Anne" "is" "green" "+")
triple1
Anne is not young.
False
1
inv-proof
[(triple2)]
("Anne" "is" "young" "-")
triple2
Erin is round.
True
2
proof
[(((triple3) -> rule3))]
("Erin" "is" "round" "+")
((triple3) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Anne is not kind.
False
2
inv-proof
[(((triple1) -> rule2))]
("Anne" "is" "kind" "-")
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Erin is blue.
True
3
proof
[(((((triple3) -> rule3)) -> rule5))]
("Erin" "is" "blue" "+")
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Anne is not blue.
False
3
inv-proof
[(((((triple1) -> rule3)) -> rule5) OR ((triple2 ((triple1) -> rule2)) -> rule4))]
("Anne" "is" "blue" "-")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((triple2 ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Anne is big.
True
4
proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple2 ((triple1) -> rule2)) -> rule4)) -> rule6))]
("Anne" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Anne is not big.
False
4
inv-proof
[(((((((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple2 ((triple1) -> rule2)) -> rule4)) -> rule6))]
("Anne" "is" "big" "-")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Erin is not nice.
Unknown
inv-random
[@0: Erin is nice.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "nice" "-")
Anne is nice.
Unknown
random
[@0: Anne is nice.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "nice" "+")
Erin is not big.
Unknown
inv-random
[@0: Erin is big.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "big" "-")
Erin is young.
Unknown
random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "+")
@0: Anne is green.[(triple1)] Anne is young.[(triple2)] Erin is green.[(triple3)] @1: Anne is kind.[(((triple1) -> rule2))] Anne is round.[(((triple1) -> rule3) OR ((((((triple2 ((triple1) -> rule2)) -> rule4)) -> rule6)) -> rule1))] Erin is kind.[(((triple3) -> rule2))] Erin is round.[(((triple3) -> rule3))] @2: Anne is blue.[(((((triple1) -> rule3)) -> rule5) OR ((triple2 ((triple1) -> rule2)) -> rule4))] Erin is blue.[(((((triple3) -> rule3)) -> rule5))] @3: Anne is big.[(((((((triple1) -> rule3)) -> rule5)) -> rule6) OR ((((triple2 ((triple1) -> rule2)) -> rule4)) -> rule6))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is young.
("Anne" "is" "young" "+")
triple2
Erin is green.
("Erin" "is" "green" "+")
triple3
Anne is kind.
("Anne" "is" "kind" "+")
((triple1) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((triple1) -> (rule3 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
((((((triple2 ((triple1) -> (rule2 % int4))) -> (rule4 % int3))) -> (rule6 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is big.
("Anne" "is" "big" "+")
int2
Anne is blue.
("Anne" "is" "blue" "+")
int3
Anne is kind.
("Anne" "is" "kind" "+")
int4
Erin is kind.
("Erin" "is" "kind" "+")
((triple3) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((triple3) -> (rule3 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
((((triple1) -> (rule3 % int2))) -> (rule5 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
int2
((triple2 ((triple1) -> (rule2 % int2))) -> (rule4 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Erin is blue.
("Erin" "is" "blue" "+")
((((triple3) -> (rule3 % int2))) -> (rule5 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
int2
Anne is big.
("Anne" "is" "big" "+")
((((((triple1) -> (rule3 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is round.
("Anne" "is" "round" "+")
int3
((((triple2 ((triple1) -> (rule2 % int3))) -> (rule4 % int2))) -> (rule6 % int1))
Anne is big.
("Anne" "is" "big" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3