The cat eats the mouse. The cat is kind. The cat is nice. The cat is red. The cat is round. The cat likes the mouse. The cat visits the mouse. The mouse eats the cat. The mouse is kind. The mouse is nice. The mouse is round. The mouse visits the cat. If someone visits the cat and they eat the cat then the cat is cold. If someone eats the mouse and the mouse is round then the mouse visits the cat. If the cat is cold and the cat is round then the cat visits the mouse. If someone is cold then they eat the mouse. If someone visits the mouse and the mouse is red then they like the mouse. If someone eats the mouse and the mouse is kind then they eat the cat. If someone is cold then they are kind. If someone is cold and they like the mouse then the mouse is cold.
The mouse is cold.
@0: The cat eats the mouse.[(triple1 OR ((((triple12 triple8) -> rule1)) -> rule4))] The cat is kind.[(triple2 OR ((((triple12 triple8) -> rule1)) -> rule7) OR ((((((triple1 triple11) -> rule2) triple8) -> rule1)) -> rule7))] The cat is nice.[(triple3)] The cat is red.[(triple4)] The cat is round.[(triple5)] The cat likes the mouse.[(triple6)] The cat visits the mouse.[(triple7 OR ((((triple12 triple8) -> rule1) triple5) -> rule3) OR ((((((triple1 triple11) -> rule2) triple8) -> rule1) triple5) -> rule3))] The mouse eats the cat.[(triple8)] The mouse is kind.[(triple9 OR ((((((triple12 triple8) -> rule1) triple6) -> rule8)) -> rule7) OR ((((((((triple1 triple11) -> rule2) triple8) -> rule1) triple6) -> rule8)) -> rule7))] The mouse is nice.[(triple10)] The mouse is round.[(triple11)] The mouse visits the cat.[(triple12 OR ((triple1 triple11) -> rule2))] @1: The cat eats the cat.[(((triple1 triple9) -> rule6) OR ((((((triple12 triple8) -> rule1)) -> rule4) triple9) -> rule6) OR ((triple1 ((((((triple12 triple8) -> rule1) triple6) -> rule8)) -> rule7)) -> rule6) OR ((((((triple12 triple8) -> rule1)) -> rule4) ((((((triple12 triple8) -> rule1) triple6) -> rule8)) -> rule7)) -> rule6) OR ((triple1 ((((((((triple1 triple11) -> rule2) triple8) -> rule1) triple6) -> rule8)) -> rule7)) -> rule6) OR ((((((triple12 triple8) -> rule1)) -> rule4) ((((((((triple1 triple11) -> rule2) triple8) -> rule1) triple6) -> rule8)) -> rule7)) -> rule6))] The cat is cold.[(((triple12 triple8) -> rule1) OR ((((triple1 triple11) -> rule2) triple8) -> rule1))] @2: The mouse is cold.[(((((triple12 triple8) -> rule1) triple6) -> rule8) OR ((((((triple1 triple11) -> rule2) triple8) -> rule1) triple6) -> rule8))] @3: The mouse eats the mouse.[(((((((triple12 triple8) -> rule1) triple6) -> rule8)) -> rule4) OR ((((((((triple1 triple11) -> rule2) triple8) -> rule1) triple6) -> rule8)) -> rule4))]