The mouse is blue. The mouse is green. The mouse is red. The mouse is round. The mouse is young. Green, round things are blue. Blue, young things are round. Round, red things are blue.
The mouse is not red.
@0: The mouse is blue.[(triple1 OR ((triple2 triple4) -> rule1) OR ((triple4 triple3) -> rule3))] The mouse is green.[(triple2)] The mouse is red.[(triple3)] The mouse is round.[(triple4 OR ((triple1 triple5) -> rule2))] The mouse is young.[(triple5)]