The bear is blue. The bear is green. The bear is nice. The bear is round. The bear is young. If the bear is blue then the bear is round. All young, round things are green. Green things are blue. All blue, green things are young. All round, nice things are blue. If something is round and blue then it is young.
The bear is blue.
("bear" "is" "blue" "+")
The bear is green.
("bear" "is" "green" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear is round.
("bear" "is" "round" "+")
The bear is young.
("bear" "is" "young" "+")
If the bear is blue then the bear is round.
((("bear" "is" "blue" "+")) -> ("bear" "is" "round" "+"))
All young, round things are green.
((("something" "is" "young" "+") ("something" "is" "round" "+")) -> ("something" "is" "green" "+"))
Green things are blue.
((("something" "is" "green" "+")) -> ("something" "is" "blue" "+"))
All blue, green things are young.
((("something" "is" "blue" "+") ("something" "is" "green" "+")) -> ("something" "is" "young" "+"))
All round, nice things are blue.
((("something" "is" "round" "+") ("something" "is" "nice" "+")) -> ("something" "is" "blue" "+"))
If something is round and blue then it is young.
((("something" "is" "round" "+") ("something" "is" "blue" "+")) -> ("something" "is" "young" "+"))
The bear is nice.
True
1
proof
[(triple3)]
("bear" "is" "nice" "+")
triple3
The bear is not blue.
False
1
inv-proof
[(triple1 OR ((triple2) -> rule3) OR ((triple4 triple3) -> rule5) OR ((((triple5 triple4) -> rule2)) -> rule3))]
("bear" "is" "blue" "-")
triple1
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((triple4 triple3) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple5 triple4) -> (rule2 % int2))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear does not like the bear.
Unknown
inv-random
[@0: The bear likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "likes" "bear" "-")
The bear needs the bear.
Unknown
random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "+")
@0: The bear is blue.[(triple1 OR ((triple2) -> rule3) OR ((triple4 triple3) -> rule5) OR ((((triple5 triple4) -> rule2)) -> rule3))] The bear is green.[(triple2 OR ((triple5 triple4) -> rule2) OR ((triple5 ((triple1) -> rule1)) -> rule2) OR ((((triple4 triple1) -> rule6) triple4) -> rule2) OR ((((triple4 triple1) -> rule6) ((triple1) -> rule1)) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule5)) -> rule6) triple4) -> rule2) OR ((((((triple1) -> rule1) triple1) -> rule6) triple4) -> rule2) OR ((((triple4 ((triple4 triple3) -> rule5)) -> rule6) ((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule1) triple1) -> rule6) ((triple1) -> rule1)) -> rule2) OR ((((((triple1) -> rule1) ((triple4 triple3) -> rule5)) -> rule6) triple4) -> rule2) OR ((((((triple1) -> rule1) ((triple4 triple3) -> rule5)) -> rule6) ((triple1) -> rule1)) -> rule2))] The bear is nice.[(triple3)] The bear is round.[(triple4 OR ((triple1) -> rule1) OR ((((triple2) -> rule3)) -> rule1))] The bear is young.[(triple5 OR ((triple1 triple2) -> rule4) OR ((triple4 triple1) -> rule6) OR ((triple4 ((triple2) -> rule3)) -> rule6) OR ((triple4 ((triple4 triple3) -> rule5)) -> rule6) OR ((((triple1) -> rule1) triple1) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule4) OR ((((triple4 triple3) -> rule5) triple2) -> rule4) OR ((((triple1) -> rule1) ((triple2) -> rule3)) -> rule6) OR ((((triple1) -> rule1) ((triple4 triple3) -> rule5)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1) triple1) -> rule6) OR ((((((triple2) -> rule3)) -> rule1) ((triple2) -> rule3)) -> rule6) OR ((((((triple2) -> rule3)) -> rule1) ((triple4 triple3) -> rule5)) -> rule6))]
The bear is blue.
("bear" "is" "blue" "+")
triple1
((triple2) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((triple4 triple3) -> (rule5 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
((((triple5 triple4) -> (rule2 % int2))) -> (rule3 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The bear is green.
("bear" "is" "green" "+")
triple2
((triple5 triple4) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple5 ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple4 triple1) -> (rule6 % int2)) triple4) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple4 triple1) -> (rule6 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
((((triple4 ((triple4 triple3) -> (rule5 % int3))) -> (rule6 % int2)) triple4) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
((((((triple1) -> (rule1 % int3)) triple1) -> (rule6 % int2)) triple4) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple4 ((triple4 triple3) -> (rule5 % int4))) -> (rule6 % int3)) ((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is young.
("bear" "is" "young" "+")
int3
The bear is blue.
("bear" "is" "blue" "+")
int4
((((((triple1) -> (rule1 % int3)) triple1) -> (rule6 % int2)) ((triple1) -> (rule1 % int3))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((((triple1) -> (rule1 % int4)) ((triple4 triple3) -> (rule5 % int3))) -> (rule6 % int2)) triple4) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
((((((triple1) -> (rule1 % int4)) ((triple4 triple3) -> (rule5 % int3))) -> (rule6 % int2)) ((triple1) -> (rule1 % int4))) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
The bear is round.
("bear" "is" "round" "+")
int4
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
((triple1) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((((triple2) -> (rule3 % int2))) -> (rule1 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is young.
("bear" "is" "young" "+")
triple5
((triple1 triple2) -> (rule4 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple4 triple1) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple4 ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((triple4 ((triple4 triple3) -> (rule5 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple1) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple2) -> (rule3 % int2)) triple2) -> (rule4 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple4 triple3) -> (rule5 % int2)) triple2) -> (rule4 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
((((triple1) -> (rule1 % int3)) ((triple2) -> (rule3 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((triple1) -> (rule1 % int3)) ((triple4 triple3) -> (rule5 % int2))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is blue.
("bear" "is" "blue" "+")
int2
The bear is round.
("bear" "is" "round" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) triple1) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple2) -> (rule3 % int3))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3
((((((triple2) -> (rule3 % int3))) -> (rule1 % int2)) ((triple4 triple3) -> (rule5 % int3))) -> (rule6 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
The bear is blue.
("bear" "is" "blue" "+")
int3