The cat is cold. The cat is green. The cat is nice. The cat is young. The cat needs the mouse. The cat sees the mouse. The cat visits the mouse. The mouse is cold. The mouse is green. The mouse is nice. The mouse is red. The mouse is young. The mouse needs the cat. The mouse sees the cat. The mouse visits the cat. If someone sees the mouse then they are red. If someone needs the cat and the cat needs the mouse then the cat visits the mouse. If someone needs the cat and the cat needs the mouse then the mouse sees the cat. If someone needs the cat and they visit the cat then they are red. If someone is nice and they see the cat then they are green. If the mouse needs the cat and the cat is young then the cat sees the mouse. If someone needs the mouse then the mouse needs the cat. If someone sees the mouse then the mouse needs the cat.
The mouse is not young.
@0: The cat is cold.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat is young.[(triple4)] The cat needs the mouse.[(triple5)] The cat sees the mouse.[(triple6 OR ((triple13 triple4) -> rule6) OR ((((triple5) -> rule7) triple4) -> rule6))] The cat visits the mouse.[(triple7 OR ((triple13 triple5) -> rule2) OR ((((triple5) -> rule7) triple5) -> rule2) OR ((((triple6) -> rule8) triple5) -> rule2))] The mouse is cold.[(triple8)] The mouse is green.[(triple9 OR ((triple10 triple14) -> rule5) OR ((triple10 ((triple13 triple5) -> rule3)) -> rule5) OR ((triple10 ((((triple5) -> rule7) triple5) -> rule3)) -> rule5) OR ((triple10 ((((triple6) -> rule8) triple5) -> rule3)) -> rule5))] The mouse is nice.[(triple10)] The mouse is red.[(triple11 OR ((triple13 triple15) -> rule4) OR ((((triple5) -> rule7) triple15) -> rule4) OR ((((triple6) -> rule8) triple15) -> rule4))] The mouse is young.[(triple12)] The mouse needs the cat.[(triple13 OR ((triple5) -> rule7) OR ((triple6) -> rule8))] The mouse sees the cat.[(triple14 OR ((triple13 triple5) -> rule3) OR ((((triple5) -> rule7) triple5) -> rule3) OR ((((triple6) -> rule8) triple5) -> rule3))] The mouse visits the cat.[(triple15)] @1: The cat is red.[(((triple6) -> rule1) OR ((((triple13 triple4) -> rule6)) -> rule1) OR ((((((triple5) -> rule7) triple4) -> rule6)) -> rule1))]