The mouse is blue. The mouse is cold. The mouse is kind. The mouse is nice. The mouse is rough. If the mouse is nice and the mouse is cold then the mouse is rough. Blue people are cold. Kind, nice people are blue.
The mouse does not see the mouse.
@0: The mouse is blue.[(triple1 OR ((triple3 triple4) -> rule3))] The mouse is cold.[(triple2 OR ((triple1) -> rule2) OR ((((triple3 triple4) -> rule3)) -> rule2))] The mouse is kind.[(triple3)] The mouse is nice.[(triple4)] The mouse is rough.[(triple5 OR ((triple4 triple2) -> rule1) OR ((triple4 ((triple1) -> rule2)) -> rule1) OR ((triple4 ((((triple3 triple4) -> rule3)) -> rule2)) -> rule1))]