The bear eats the squirrel. The bear is blue. The bear is kind. The bear is red. The bear is round. The bear is young. The bear likes the squirrel. The bear visits the squirrel. The squirrel eats the bear. The squirrel is blue. The squirrel is red. The squirrel is round. The squirrel is young. The squirrel likes the bear. The squirrel visits the bear. If someone is young and they like the bear then the bear is blue. If someone eats the squirrel and they visit the bear then the squirrel visits the bear. If someone is red then they visit the squirrel. If someone likes the bear and they eat the bear then the bear eats the squirrel. If someone eats the bear and the bear is young then they like the bear. If the squirrel eats the bear then the squirrel is red.
The bear does not like the bear.
@0: The bear eats the squirrel.[(triple1 OR ((triple14 triple9) -> rule4) OR ((((triple9 triple6) -> rule5) triple9) -> rule4))] The bear is blue.[(triple2 OR ((triple13 triple14) -> rule1) OR ((triple13 ((triple9 triple6) -> rule5)) -> rule1))] The bear is kind.[(triple3)] The bear is red.[(triple4)] The bear is round.[(triple5)] The bear is young.[(triple6)] The bear likes the squirrel.[(triple7)] The bear visits the squirrel.[(triple8 OR ((triple4) -> rule3))] The squirrel eats the bear.[(triple9)] The squirrel is blue.[(triple10)] The squirrel is red.[(triple11 OR ((triple9) -> rule6))] The squirrel is round.[(triple12)] The squirrel is young.[(triple13)] The squirrel likes the bear.[(triple14 OR ((triple9 triple6) -> rule5))] The squirrel visits the bear.[(triple15)] @1: The squirrel visits the squirrel.[(((triple11) -> rule3) OR ((((triple9) -> rule6)) -> rule3))]