Anne is big. Anne is kind. Anne is nice. Anne is quiet. Anne is round. Charlie is green. Charlie is nice. Charlie is round. Charlie is young. Erin is big. Erin is green. Erin is kind. If something is green then it is nice. If something is nice and green then it is round.
Anne is big.
("Anne" "is" "big" "+")
Anne is kind.
("Anne" "is" "kind" "+")
Anne is nice.
("Anne" "is" "nice" "+")
Anne is quiet.
("Anne" "is" "quiet" "+")
Anne is round.
("Anne" "is" "round" "+")
Charlie is green.
("Charlie" "is" "green" "+")
Charlie is nice.
("Charlie" "is" "nice" "+")
Charlie is round.
("Charlie" "is" "round" "+")
Charlie is young.
("Charlie" "is" "young" "+")
Erin is big.
("Erin" "is" "big" "+")
Erin is green.
("Erin" "is" "green" "+")
Erin is kind.
("Erin" "is" "kind" "+")
If something is green then it is nice.
((("something" "is" "green" "+")) -> ("something" "is" "nice" "+"))
If something is nice and green then it is round.
((("something" "is" "nice" "+") ("something" "is" "green" "+")) -> ("something" "is" "round" "+"))
Anne is big.
True
1
proof
[(triple1)]
("Anne" "is" "big" "+")
triple1
Anne is not big.
False
1
inv-proof
[(triple1)]
("Anne" "is" "big" "-")
triple1
Erin is nice.
True
2
proof
[(((triple11) -> rule1))]
("Erin" "is" "nice" "+")
((triple11) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is not nice.
False
2
inv-proof
[(((triple11) -> rule1))]
("Erin" "is" "nice" "-")
((triple11) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
True
4
proof
[(((((triple11) -> rule1) triple11) -> rule2))]
("Erin" "is" "round" "+")
((((triple11) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not round.
False
4
inv-proof
[(((((triple11) -> rule1) triple11) -> rule2))]
("Erin" "is" "round" "-")
((((triple11) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2
Erin is not young.
Unknown
inv-random
[@0: Erin is young.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "young" "-")
Anne is young.
Unknown
random
[@0: Anne is young.[CWA. Example of deepest failure = (FAIL)]]
("Anne" "is" "young" "+")
Erin is not quiet.
Unknown
inv-random
[@0: Erin is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Erin" "is" "quiet" "-")
Charlie is big.
Unknown
random
[@0: Charlie is big.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "big" "+")
Charlie is not quiet.
Unknown
inv-random
[@0: Charlie is quiet.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "quiet" "-")
Charlie is kind.
Unknown
random
[@0: Charlie is kind.[CWA. Example of deepest failure = (FAIL)]]
("Charlie" "is" "kind" "+")
@0: Anne is big.[(triple1)] Anne is kind.[(triple2)] Anne is nice.[(triple3)] Anne is quiet.[(triple4)] Anne is round.[(triple5)] Charlie is green.[(triple6)] Charlie is nice.[(triple7 OR ((triple6) -> rule1))] Charlie is round.[(triple8 OR ((triple7 triple6) -> rule2) OR ((((triple6) -> rule1) triple6) -> rule2))] Charlie is young.[(triple9)] Erin is big.[(triple10)] Erin is green.[(triple11)] Erin is kind.[(triple12)] @1: Erin is nice.[(((triple11) -> rule1))] @2: Erin is round.[(((((triple11) -> rule1) triple11) -> rule2))]
Anne is big.
("Anne" "is" "big" "+")
triple1
Anne is kind.
("Anne" "is" "kind" "+")
triple2
Anne is nice.
("Anne" "is" "nice" "+")
triple3
Anne is quiet.
("Anne" "is" "quiet" "+")
triple4
Anne is round.
("Anne" "is" "round" "+")
triple5
Charlie is green.
("Charlie" "is" "green" "+")
triple6
Charlie is nice.
("Charlie" "is" "nice" "+")
triple7
((triple6) -> (rule1 % int1))
Charlie is nice.
("Charlie" "is" "nice" "+")
int1
Charlie is round.
("Charlie" "is" "round" "+")
triple8
((triple7 triple6) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
((((triple6) -> (rule1 % int2)) triple6) -> (rule2 % int1))
Charlie is round.
("Charlie" "is" "round" "+")
int1
Charlie is nice.
("Charlie" "is" "nice" "+")
int2
Charlie is young.
("Charlie" "is" "young" "+")
triple9
Erin is big.
("Erin" "is" "big" "+")
triple10
Erin is green.
("Erin" "is" "green" "+")
triple11
Erin is kind.
("Erin" "is" "kind" "+")
triple12
Erin is nice.
("Erin" "is" "nice" "+")
((triple11) -> (rule1 % int1))
Erin is nice.
("Erin" "is" "nice" "+")
int1
Erin is round.
("Erin" "is" "round" "+")
((((triple11) -> (rule1 % int2)) triple11) -> (rule2 % int1))
Erin is round.
("Erin" "is" "round" "+")
int1
Erin is nice.
("Erin" "is" "nice" "+")
int2