The mouse is cold. The mouse is green. The mouse is red. The mouse is round. The mouse is young. If something is red and young then it is round. If the mouse is round and the mouse is cold then the mouse is young. If something is red then it is green.
The mouse is round.
@0: The mouse is cold.[(triple1)] The mouse is green.[(triple2 OR ((triple3) -> rule3))] The mouse is red.[(triple3)] The mouse is round.[(triple4 OR ((triple3 triple5) -> rule1))] The mouse is young.[(triple5 OR ((triple4 triple1) -> rule2))]