The cat eats the mouse. The cat eats the tiger. The cat is big. The cat is round. The cat is young. The cat sees the tiger. The dog eats the cat. The dog likes the mouse. The dog sees the cat. The mouse is cold. The mouse is green. The mouse sees the cat. The mouse sees the dog. The tiger eats the mouse. The tiger sees the cat. If someone is green then they are cold. If someone is green and they eat the cat then the cat is green. If someone sees the dog then the dog is green. If someone eats the cat and the cat eats the tiger then the tiger is round. If the mouse sees the tiger then the mouse likes the cat. If someone is cold and they see the tiger then the tiger is big.
The dog is cold.
@0: The cat eats the mouse.[(triple1)] The cat eats the tiger.[(triple2)] The cat is big.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat sees the tiger.[(triple6)] The dog eats the cat.[(triple7)] The dog likes the mouse.[(triple8)] The dog sees the cat.[(triple9)] The mouse is cold.[(triple10 OR ((triple11) -> rule1))] The mouse is green.[(triple11)] The mouse sees the cat.[(triple12)] The mouse sees the dog.[(triple13)] The tiger eats the mouse.[(triple14)] The tiger sees the cat.[(triple15)] @1: The dog is green.[(((triple13) -> rule3))] The tiger is round.[(((triple7 triple2) -> rule4))] @2: The cat is green.[(((((triple13) -> rule3) triple7) -> rule2))] The dog is cold.[(((((triple13) -> rule3)) -> rule1))] @3: The cat is cold.[(((((((triple13) -> rule3) triple7) -> rule2)) -> rule1))] @4: The tiger is big.[(((((((((triple13) -> rule3) triple7) -> rule2)) -> rule1) triple6) -> rule6))]