Anne is green. Anne is kind. Anne is quiet. Anne is smart. Erin is big. Erin is quiet. Erin is smart. All blue things are round. All quiet, smart things are kind. All smart, kind things are blue.
Anne is green.
("Anne" "is" "green" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is smart.
("Anne" "is" "smart" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is quiet.
("Erin" "is" "quiet" "+")
Erin is smart.
("Erin" "is" "smart" "+")
All blue things are round.
((("something" "is" "blue" "+")) -> ("something" "is" "round" "+"))
All quiet, smart things are kind.
((("something" "is" "quiet" "+") ("something" "is" "smart" "+")) -> ("something" "is" "kind" "+"))
All smart, kind things are blue.
((("something" "is" "smart" "+") ("something" "is" "kind" "+")) -> ("something" "is" "blue" "+"))
Erin is big.
True
1
proof
[(triple5)]
("Erin" "is" "big" "+")
triple5
Erin is not quiet.
False
1
inv-proof
[(triple6)]
("Erin" "is" "quiet" "-")
triple6
Erin is kind.
True
3
proof
[(((triple6 triple7) -> rule2))]
("Erin" "is" "kind" "+")
((triple6 triple7) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Anne is not blue.
False
3
inv-proof
[(((triple4 triple2) -> rule3) OR ((triple4 ((triple3 triple4) -> rule2)) -> rule3))]
("Anne" "is" "blue" "-")
((triple4 triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 ((triple3 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Erin is blue.
True
5
proof
[(((triple7 ((triple6 triple7) -> rule2)) -> rule3))]
("Erin" "is" "blue" "+")
((triple7 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Anne is not round.
False
4
inv-proof
[(((((triple4 triple2) -> rule3)) -> rule1) OR ((((triple4 ((triple3 triple4) -> rule2)) -> rule3)) -> rule1))]
("Anne" "is" "round" "-")
((((triple4 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4 ((triple3 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Erin is round.
True
6
proof
[(((((triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
("Erin" "is" "round" "+")
((((triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Erin is not round.
False
6
inv-proof
[(((((triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
("Erin" "is" "round" "-")
((((triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3
Anne is not big.
Unknown
inv-random
[@0: Anne is big.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "big" "-")
Erin is green.
Unknown
random
[@0: Erin is green.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "green" "+")
@0: Anne is green.[(triple1)] Anne is kind.[(triple2 OR ((triple3 triple4) -> rule2))] Anne is quiet.[(triple3)] Anne is smart.[(triple4)] Erin is big.[(triple5)] Erin is quiet.[(triple6)] Erin is smart.[(triple7)] @1: Anne is blue.[(((triple4 triple2) -> rule3) OR ((triple4 ((triple3 triple4) -> rule2)) -> rule3))] Erin is kind.[(((triple6 triple7) -> rule2))] @2: Anne is round.[(((((triple4 triple2) -> rule3)) -> rule1) OR ((((triple4 ((triple3 triple4) -> rule2)) -> rule3)) -> rule1))] Erin is blue.[(((triple7 ((triple6 triple7) -> rule2)) -> rule3))] @3: Erin is round.[(((((triple7 ((triple6 triple7) -> rule2)) -> rule3)) -> rule1))]
Anne is green.
("Anne" "is" "green" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
((triple3 triple4) -> (rule2 % int1))
Anne is kind.
("Anne" "is" "kind" "+")
int1
Anne is quiet.
("Anne" "is" "quiet" "+")
triple3
Anne is smart.
("Anne" "is" "smart" "+")
triple4
Erin is big.
("Erin" "is" "big" "+")
triple5
Erin is quiet.
("Erin" "is" "quiet" "+")
triple6
Erin is smart.
("Erin" "is" "smart" "+")
triple7
Anne is blue.
("Anne" "is" "blue" "+")
((triple4 triple2) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
((triple4 ((triple3 triple4) -> (rule2 % int2))) -> (rule3 % int1))
Anne is blue.
("Anne" "is" "blue" "+")
int1
Anne is kind.
("Anne" "is" "kind" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
((triple6 triple7) -> (rule2 % int1))
Erin is kind.
("Erin" "is" "kind" "+")
int1
Anne is round.
("Anne" "is" "round" "+")
((((triple4 triple2) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
((((triple4 ((triple3 triple4) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Anne is round.
("Anne" "is" "round" "+")
int1
Anne is blue.
("Anne" "is" "blue" "+")
int2
Anne is kind.
("Anne" "is" "kind" "+")
int3
Erin is blue.
("Erin" "is" "blue" "+")
((triple7 ((triple6 triple7) -> (rule2 % int2))) -> (rule3 % int1))
Erin is blue.
("Erin" "is" "blue" "+")
int1
Erin is kind.
("Erin" "is" "kind" "+")
int2
Erin is round.
("Erin" "is" "round" "+")
((((triple7 ((triple6 triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is blue.
("Erin" "is" "blue" "+")
int2
Erin is kind.
("Erin" "is" "kind" "+")
int3