The bear eats the cat. The bear is green. The bear is nice. The bear is red. The bear is round. The bear likes the cat. The cat chases the bear. The cat eats the bear. The cat is nice. The cat is rough. The cat is round. The cat likes the bear. If something eats the bear then it chases the bear. If something is green then it eats the bear. If something is green then it chases the cat. If something likes the bear and the bear likes the cat then the cat eats the bear. If something likes the cat and it is round then it chases the cat. If something chases the cat and it eats the cat then it is round. If something chases the cat and the cat eats the bear then the cat is green. If something likes the cat then it is round.
The bear is green.
@0: The bear eats the cat.[(triple1)] The bear is green.[(triple2)] The bear is nice.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5 OR ((triple6) -> rule8) OR ((((triple2) -> rule3) triple1) -> rule6))] The bear likes the cat.[(triple6)] The cat chases the bear.[(triple7 OR ((triple8) -> rule1) OR ((((triple12 triple6) -> rule4)) -> rule1))] The cat eats the bear.[(triple8 OR ((triple12 triple6) -> rule4))] The cat is nice.[(triple9)] The cat is rough.[(triple10)] The cat is round.[(triple11)] The cat likes the bear.[(triple12)] @1: The bear chases the cat.[(((triple2) -> rule3) OR ((triple6 triple5) -> rule5) OR ((triple6 ((triple6) -> rule8)) -> rule5))] The bear eats the bear.[(((triple2) -> rule2))] @2: The bear chases the bear.[(((((triple2) -> rule2)) -> rule1))] The cat is green.[(((((triple2) -> rule3) triple8) -> rule7) OR ((((triple6 triple5) -> rule5) triple8) -> rule7) OR ((((triple2) -> rule3) ((triple12 triple6) -> rule4)) -> rule7) OR ((((triple6 triple5) -> rule5) ((triple12 triple6) -> rule4)) -> rule7) OR ((((triple6 ((triple6) -> rule8)) -> rule5) triple8) -> rule7) OR ((((triple6 ((triple6) -> rule8)) -> rule5) ((triple12 triple6) -> rule4)) -> rule7))] @3: The cat chases the cat.[(((((((triple2) -> rule3) triple8) -> rule7)) -> rule3) OR ((((((triple6 triple5) -> rule5) triple8) -> rule7)) -> rule3) OR ((((((triple2) -> rule3) ((triple12 triple6) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 triple5) -> rule5) ((triple12 triple6) -> rule4)) -> rule7)) -> rule3) OR ((((((triple6 ((triple6) -> rule8)) -> rule5) triple8) -> rule7)) -> rule3) OR ((((((triple6 ((triple6) -> rule8)) -> rule5) ((triple12 triple6) -> rule4)) -> rule7)) -> rule3))]