The bear chases the cat. The bear is big. The bear is cold. The bear is kind. The bear is red. The bear is round. The bear likes the cat. The bear needs the cat. The cat chases the bear. The cat is red. The cat likes the bear. The cat needs the bear. If something likes the bear and the bear likes the cat then it chases the bear. If something chases the bear and the bear chases the cat then the cat is red. If something likes the cat and it needs the cat then the cat is round. If something is red then it likes the bear. If something likes the cat then the cat chases the bear. If the cat chases the bear and the cat needs the bear then the bear is big.
The bear is not cold.
@0: The bear chases the cat.[(triple1)] The bear is big.[(triple2 OR ((triple9 triple12) -> rule6) OR ((((triple7) -> rule5) triple12) -> rule6) OR ((((triple11 triple7) -> rule1) triple12) -> rule6) OR ((((((triple10) -> rule4) triple7) -> rule1) triple12) -> rule6) OR ((((((((((((triple5) -> rule4) triple7) -> rule1) triple1) -> rule2)) -> rule4) triple7) -> rule1) triple12) -> rule6))] The bear is cold.[(triple3)] The bear is kind.[(triple4)] The bear is red.[(triple5)] The bear is round.[(triple6)] The bear likes the cat.[(triple7)] The bear needs the cat.[(triple8)] The cat chases the bear.[(triple9 OR ((triple7) -> rule5) OR ((triple11 triple7) -> rule1) OR ((((triple10) -> rule4) triple7) -> rule1) OR ((((((((((triple5) -> rule4) triple7) -> rule1) triple1) -> rule2)) -> rule4) triple7) -> rule1))] The cat is red.[(triple10 OR ((triple9 triple1) -> rule2) OR ((((triple7) -> rule5) triple1) -> rule2) OR ((((triple11 triple7) -> rule1) triple1) -> rule2) OR ((((((triple5) -> rule4) triple7) -> rule1) triple1) -> rule2))] The cat likes the bear.[(triple11 OR ((triple10) -> rule4) OR ((((triple9 triple1) -> rule2)) -> rule4) OR ((((((triple7) -> rule5) triple1) -> rule2)) -> rule4) OR ((((((((triple5) -> rule4) triple7) -> rule1) triple1) -> rule2)) -> rule4))] The cat needs the bear.[(triple12)] @1: The bear likes the bear.[(((triple5) -> rule4))] The cat is round.[(((triple7 triple8) -> rule3))] @2: The bear chases the bear.[(((((triple5) -> rule4) triple7) -> rule1))]