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