The bear is big. The bear is green. The bear is nice. The bear is round. The bear is young. If the bear is big and the bear is young then the bear is green. If someone is big then they are young. If the bear is young and the bear is big then the bear is round. All big people are round. If someone is round then they are young. All round people are big. All nice, round people are big. Big people are round.
The bear is big.
("bear" "is" "big" "+")
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 big and the bear is young then the bear is green.
((("bear" "is" "big" "+") ("bear" "is" "young" "+")) -> ("bear" "is" "green" "+"))
If someone is big then they are young.
((("someone" "is" "big" "+")) -> ("someone" "is" "young" "+"))
If the bear is young and the bear is big then the bear is round.
((("bear" "is" "young" "+") ("bear" "is" "big" "+")) -> ("bear" "is" "round" "+"))
All big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
If someone is round then they are young.
((("someone" "is" "round" "+")) -> ("someone" "is" "young" "+"))
All round people are big.
((("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
All nice, round people are big.
((("someone" "is" "nice" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "big" "+"))
Big people are round.
((("someone" "is" "big" "+")) -> ("someone" "is" "round" "+"))
The bear is big.
True
1
proof
[(triple1 OR ((triple4) -> rule6) OR ((triple3 triple4) -> rule7))]
("bear" "is" "big" "+")
triple1
((triple4) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple3 triple4) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is not young.
False
1
inv-proof
[(triple5 OR ((triple1) -> rule2) OR ((triple4) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule8)) -> rule5) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple3 triple4) -> rule7)) -> rule2))]
("bear" "is" "young" "-")
triple5
((triple1) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple4) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple3 triple4) -> (rule7 % int2))) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
The bear does not need the bear.
Unknown
inv-random
[@0: The bear needs the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "needs" "bear" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear is big.[(triple1 OR ((triple4) -> rule6) OR ((triple3 triple4) -> rule7))] The bear is green.[(triple2 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple1) -> rule2)) -> rule1) OR ((triple1 ((triple4) -> rule5)) -> rule1) OR ((((triple4) -> rule6) triple5) -> rule1) OR ((((triple3 triple4) -> rule7) triple5) -> rule1) OR ((((triple4) -> rule6) ((triple1) -> rule2)) -> rule1) OR ((((triple4) -> rule6) ((triple4) -> rule5)) -> rule1) OR ((((triple3 triple4) -> rule7) ((triple1) -> rule2)) -> rule1) OR ((((triple3 triple4) -> rule7) ((triple4) -> rule5)) -> rule1) OR ((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1) OR ((triple1 ((((triple1) -> rule8)) -> rule5)) -> rule1) OR ((triple1 ((((triple4) -> rule6)) -> rule2)) -> rule1) OR ((triple1 ((((triple3 triple4) -> rule7)) -> rule2)) -> rule1) OR ((((triple4) -> rule6) ((((triple1) -> rule4)) -> rule5)) -> rule1) OR ((((triple4) -> rule6) ((((triple1) -> rule8)) -> rule5)) -> rule1) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((triple4) -> rule6) ((((triple3 triple4) -> rule7)) -> rule2)) -> rule1) OR ((((triple3 triple4) -> rule7) ((((triple1) -> rule4)) -> rule5)) -> rule1) OR ((((triple3 triple4) -> rule7) ((((triple1) -> rule8)) -> rule5)) -> rule1) OR ((((triple3 triple4) -> rule7) ((((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 triple4) -> rule7) ((((triple3 triple4) -> rule7)) -> rule2)) -> rule1))] The bear is nice.[(triple3)] The bear is round.[(triple4 OR ((triple1) -> rule4) OR ((triple1) -> rule8) OR ((triple5 triple1) -> rule3) OR ((((triple1) -> rule2) triple1) -> rule3))] The bear is young.[(triple5 OR ((triple1) -> rule2) OR ((triple4) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule8)) -> rule5) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple3 triple4) -> rule7)) -> rule2))]
The bear is big.
("bear" "is" "big" "+")
triple1
((triple4) -> (rule6 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
((triple3 triple4) -> (rule7 % int1))
The bear is big.
("bear" "is" "big" "+")
int1
The bear is green.
("bear" "is" "green" "+")
triple2
((triple1 triple5) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
((triple1 ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((triple1 ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
((((triple4) -> (rule6 % int2)) triple5) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple3 triple4) -> (rule7 % int2)) triple5) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple4) -> (rule6 % int3)) ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple4) -> (rule6 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple3 triple4) -> (rule7 % int3)) ((triple1) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple3 triple4) -> (rule7 % int3)) ((triple4) -> (rule5 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((triple1 ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % 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 ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % 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 ((((triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((triple1 ((((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple4) -> (rule6 % int4)) ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % 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
The bear is big.
("bear" "is" "big" "+")
int4
((((triple4) -> (rule6 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % 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
The bear is big.
("bear" "is" "big" "+")
int4
((((triple4) -> (rule6 % int3)) ((((triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple4) -> (rule6 % int3)) ((((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple3 triple4) -> (rule7 % int4)) ((((triple1) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % 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
The bear is big.
("bear" "is" "big" "+")
int4
((((triple3 triple4) -> (rule7 % int4)) ((((triple1) -> (rule8 % int3))) -> (rule5 % int2))) -> (rule1 % 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
The bear is big.
("bear" "is" "big" "+")
int4
((((triple3 triple4) -> (rule7 % int3)) ((((triple4) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
((((triple3 triple4) -> (rule7 % int3)) ((((triple3 triple4) -> (rule7 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is big.
("bear" "is" "big" "+")
int3
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
((triple1) -> (rule4 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple1) -> (rule8 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((triple5 triple1) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
((((triple1) -> (rule2 % int2)) triple1) -> (rule3 % int1))
The bear is round.
("bear" "is" "round" "+")
int1
The bear is young.
("bear" "is" "young" "+")
int2
The bear is young.
("bear" "is" "young" "+")
triple5
((triple1) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((triple4) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
((((triple1) -> (rule4 % int2))) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple1) -> (rule8 % int2))) -> (rule5 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is round.
("bear" "is" "round" "+")
int2
((((triple4) -> (rule6 % int2))) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2
((((triple3 triple4) -> (rule7 % int2))) -> (rule2 % int1))
The bear is young.
("bear" "is" "young" "+")
int1
The bear is big.
("bear" "is" "big" "+")
int2