The cat is round. The cat is young. The cat likes the mouse. The cat needs the mouse. The cat sees the mouse. The mouse is not blue. The mouse is cold. The mouse is green. The mouse is not round. The mouse does not like the cat. The mouse needs the cat. The mouse sees the cat. If someone is round then they see the cat. All young people are round. If someone is young and they like the cat then they need the mouse. If someone is young and they see the cat then they are not cold. If someone sees the mouse and they need the cat then they are blue. If the cat likes the mouse then the cat is green.
The cat likes the cat.
@0: The cat is round.[(triple1 OR ((triple2) -> rule2))] The cat is young.[(triple2)] The cat likes the mouse.[(triple3)] The cat needs the mouse.[(triple4)] The cat sees the mouse.[(triple5)] The mouse does not like the cat.[(triple10)] The mouse is cold.[(triple7)] The mouse is green.[(triple8)] The mouse is not blue.[(triple6)] The mouse is not round.[(triple9)] The mouse needs the cat.[(triple11)] The mouse sees the cat.[(triple12)] @1: The cat is green.[(((triple3) -> rule6))] The cat sees the cat.[(((triple1) -> rule1) OR ((((triple2) -> rule2)) -> rule1))] @2: The cat is not cold.[(((triple2 ((triple1) -> rule1)) -> rule4) OR ((triple2 ((((triple2) -> rule2)) -> rule1)) -> rule4))]