The mouse is blue. The mouse is cold. The mouse is green. The mouse is nice. The mouse is round. All cold, nice things are green. Green, cold things are blue. If the mouse is round and the mouse is blue then the mouse is cold.
The mouse likes the mouse.
@0: The mouse is blue.[(triple1 OR ((triple3 triple2) -> rule2) OR ((((triple2 triple4) -> rule1) triple2) -> rule2))] The mouse is cold.[(triple2 OR ((triple5 triple1) -> rule3))] The mouse is green.[(triple3 OR ((triple2 triple4) -> rule1) OR ((((triple5 triple1) -> rule3) triple4) -> rule1))] The mouse is nice.[(triple4)] The mouse is round.[(triple5)]