The cat is green. The cat is red. The cat is rough. The cat is round. The cat is young. The cat likes the mouse. The cat sees the mouse. The cat visits the mouse. The mouse is green. The mouse is red. The mouse is rough. The mouse is young. The mouse likes the cat. The mouse sees the cat. The mouse visits the cat. If someone is round then they see the mouse. If the mouse sees the cat and the mouse visits the cat then the mouse is round.
The mouse visits the mouse.
@0: The cat is green.[(triple1)] The cat is red.[(triple2)] The cat is rough.[(triple3)] The cat is round.[(triple4)] The cat is young.[(triple5)] The cat likes the mouse.[(triple6)] The cat sees the mouse.[(triple7 OR ((triple4) -> rule1))] The cat visits the mouse.[(triple8)] The mouse is green.[(triple9)] The mouse is red.[(triple10)] The mouse is rough.[(triple11)] The mouse is young.[(triple12)] The mouse likes the cat.[(triple13)] The mouse sees the cat.[(triple14)] The mouse visits the cat.[(triple15)] @1: The mouse is round.[(((triple14 triple15) -> rule2))] @2: The mouse sees the mouse.[(((((triple14 triple15) -> rule2)) -> rule1))]