The mouse is cold. The mouse is green. The mouse is kind. The mouse is nice. The mouse is rough. If the mouse is rough and the mouse is cold then the mouse is nice. If something is green and nice then it is cold. Rough, nice things are kind.
The mouse does not like the mouse.
@0: The mouse is cold.[(triple1 OR ((triple2 triple4) -> rule2))] The mouse is green.[(triple2)] The mouse is kind.[(triple3 OR ((triple5 triple4) -> rule3) OR ((triple5 ((triple5 triple1) -> rule1)) -> rule3))] The mouse is nice.[(triple4 OR ((triple5 triple1) -> rule1))] The mouse is rough.[(triple5)]