The cat is red. The cat is rough. The cat needs the tiger. The cat sees the tiger. The mouse is green. The mouse needs the tiger. The mouse sees the cat. The mouse sees the tiger. The tiger eats the mouse. The tiger sees the cat. If someone is cold then they eat the tiger. If someone sees the mouse and the mouse eats the tiger then the tiger needs the mouse. If someone eats the mouse then the mouse sees the tiger. If someone eats the tiger then the tiger sees the mouse. If someone eats the mouse then the mouse eats the tiger. If the mouse is red then the mouse is cold. If someone eats the mouse and the mouse eats the tiger then the mouse is red. If the mouse sees the tiger and the tiger eats the mouse then the mouse is cold.
The cat sees the tiger.
@0: The cat is red.[(triple1)] The cat is rough.[(triple2)] The cat needs the tiger.[(triple3)] The cat sees the tiger.[(triple4)] The mouse is green.[(triple5)] The mouse needs the tiger.[(triple6)] The mouse sees the cat.[(triple7)] The mouse sees the tiger.[(triple8 OR ((triple9) -> rule3))] The tiger eats the mouse.[(triple9)] The tiger sees the cat.[(triple10)] @1: The mouse eats the tiger.[(((triple9) -> rule5) OR ((((triple8 triple9) -> rule8)) -> rule1) OR ((((((triple9) -> rule3) triple9) -> rule8)) -> rule1))] The mouse is cold.[(((triple8 triple9) -> rule8) OR ((((triple9) -> rule3) triple9) -> rule8) OR ((((triple9 ((triple9) -> rule5)) -> rule7)) -> rule6))] @2: The mouse is red.[(((triple9 ((triple9) -> rule5)) -> rule7) OR ((triple9 ((((triple8 triple9) -> rule8)) -> rule1)) -> rule7) OR ((triple9 ((((((triple9) -> rule3) triple9) -> rule8)) -> rule1)) -> rule7))] The tiger sees the mouse.[(((((triple9) -> rule5)) -> rule4) OR ((((((triple8 triple9) -> rule8)) -> rule1)) -> rule4) OR ((((((((triple9) -> rule3) triple9) -> rule8)) -> rule1)) -> rule4))] @3: The tiger needs the mouse.[(((((((triple9) -> rule5)) -> rule4) ((triple9) -> rule5)) -> rule2) OR ((((((triple9) -> rule5)) -> rule4) ((((triple8 triple9) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple8 triple9) -> rule8)) -> rule1)) -> rule4) ((triple9) -> rule5)) -> rule2) OR ((((((triple9) -> rule5)) -> rule4) ((((((triple9) -> rule3) triple9) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple8 triple9) -> rule8)) -> rule1)) -> rule4) ((((triple8 triple9) -> rule8)) -> rule1)) -> rule2) OR ((((((((triple8 triple9) -> rule8)) -> rule1)) -> rule4) ((((((triple9) -> rule3) triple9) -> rule8)) -> rule1)) -> rule2) OR ((((((((((triple9) -> rule3) triple9) -> rule8)) -> rule1)) -> rule4) ((triple9) -> rule5)) -> rule2) OR ((((((((((triple9) -> rule3) triple9) -> rule8)) -> rule1)) -> rule4) ((((triple8 triple9) -> rule8)) -> rule1)) -> rule2) OR ((((((((((triple9) -> rule3) triple9) -> rule8)) -> rule1)) -> rule4) ((((((triple9) -> rule3) triple9) -> rule8)) -> rule1)) -> rule2))]