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