The cat is big. The cat likes the dog. The cat likes the mouse. The dog eats the cat. The dog eats the tiger. The dog likes the mouse. The mouse sees the tiger. The tiger eats the cat. The tiger eats the dog. The tiger eats the mouse. The tiger is red. If someone sees the dog and the dog is cold then they are nice. If someone is big then they see the dog. If someone eats the cat then they are nice. If someone sees the mouse then they see the tiger. If someone is nice then they eat the dog. All red people are rough. If the dog sees the tiger and the dog sees the mouse then the mouse likes the dog. If someone likes the dog and the dog eats the tiger then they eat the cat. If someone eats the tiger and the tiger is red then they see the mouse.
The mouse is big.
@0: The cat is big.[(triple1)] The cat likes the dog.[(triple2)] The cat likes the mouse.[(triple3)] The dog eats the cat.[(triple4)] The dog eats the tiger.[(triple5)] The dog likes the mouse.[(triple6)] The mouse sees the tiger.[(triple7)] The tiger eats the cat.[(triple8)] The tiger eats the dog.[(triple9 OR ((((triple8) -> rule3)) -> rule5))] The tiger eats the mouse.[(triple10)] The tiger is red.[(triple11)] @1: The cat eats the cat.[(((triple2 triple5) -> rule8))] The cat sees the dog.[(((triple1) -> rule2))] The dog is nice.[(((triple4) -> rule3))] The dog sees the mouse.[(((triple5 triple11) -> rule9))] The tiger is nice.[(((triple8) -> rule3))] The tiger is rough.[(((triple11) -> rule6))] @2: The cat is nice.[(((((triple2 triple5) -> rule8)) -> rule3))] The dog eats the dog.[(((((triple4) -> rule3)) -> rule5))] The dog sees the tiger.[(((((triple5 triple11) -> rule9)) -> rule4))] @3: The cat eats the dog.[(((((((triple2 triple5) -> rule8)) -> rule3)) -> rule5))] The mouse likes the dog.[(((((((triple5 triple11) -> rule9)) -> rule4) ((triple5 triple11) -> rule9)) -> rule7))] @4: The mouse eats the cat.[(((((((((triple5 triple11) -> rule9)) -> rule4) ((triple5 triple11) -> rule9)) -> rule7) triple5) -> rule8))] @5: The mouse is nice.[(((((((((((triple5 triple11) -> rule9)) -> rule4) ((triple5 triple11) -> rule9)) -> rule7) triple5) -> rule8)) -> rule3))] @6: The mouse eats the dog.[(((((((((((((triple5 triple11) -> rule9)) -> rule4) ((triple5 triple11) -> rule9)) -> rule7) triple5) -> rule8)) -> rule3)) -> rule5))]