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