The mouse is big. The mouse is blue. The mouse is kind. The mouse is round. The mouse is not young. If someone is round and big then they are not young. Big, kind people are blue.
The mouse is not blue.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple1 triple3) -> rule2))] The mouse is kind.[(triple3)] The mouse is not young.[(triple5 OR ((triple4 triple1) -> rule1))] The mouse is round.[(triple4)]