The bear eats the tiger. The bear likes the cat. The bear visits the cat. The bear visits the mouse. The cat is cold. The cat likes the bear. The cat visits the bear. The mouse is kind. The mouse likes the cat. The mouse visits the cat. The mouse visits the tiger. The tiger eats the cat. The tiger is kind. The tiger is rough. The tiger likes the bear. The tiger visits the cat. If something is cold then it likes the cat. If something likes the bear then the bear is rough. If something is rough and it visits the cat then the cat visits the mouse. Kind, red things are cold. If something likes the bear then it is red. If something is cold then it visits the mouse.
The tiger is kind.
@0: The bear eats the tiger.[(triple1)] The bear likes the cat.[(triple2)] The bear visits the cat.[(triple3)] The bear visits the mouse.[(triple4)] The cat is cold.[(triple5)] The cat likes the bear.[(triple6)] The cat visits the bear.[(triple7)] The mouse is kind.[(triple8)] The mouse likes the cat.[(triple9)] The mouse visits the cat.[(triple10)] The mouse visits the tiger.[(triple11)] The tiger eats the cat.[(triple12)] The tiger is kind.[(triple13)] The tiger is rough.[(triple14)] The tiger likes the bear.[(triple15)] The tiger visits the cat.[(triple16)] @1: The bear is rough.[(((triple15) -> rule2) OR ((triple6) -> rule2))] The cat is red.[(((triple6) -> rule5))] The cat likes the cat.[(((triple5) -> rule1))] The cat visits the mouse.[(((triple5) -> rule6) OR ((triple14 triple16) -> rule3) OR ((((triple15) -> rule2) triple3) -> rule3) OR ((((triple6) -> rule2) triple3) -> rule3))] The tiger is red.[(((triple15) -> rule5))] @2: The tiger is cold.[(((triple13 ((triple15) -> rule5)) -> rule4))] @3: The tiger likes the cat.[(((((triple13 ((triple15) -> rule5)) -> rule4)) -> rule1))] The tiger visits the mouse.[(((((triple13 ((triple15) -> rule5)) -> rule4)) -> rule6))]