The mouse is nice. The mouse is red. The mouse is rough. The mouse is round. The mouse is young. If someone is red and round then they are nice. All nice people are young. If someone is round and young then they are rough.
The mouse is young.
@0: The mouse is nice.[(triple1 OR ((triple2 triple4) -> rule1))] The mouse is red.[(triple2)] The mouse is rough.[(triple3 OR ((triple4 triple5) -> rule3) OR ((triple4 ((triple1) -> rule2)) -> rule3) OR ((triple4 ((((triple2 triple4) -> rule1)) -> rule2)) -> rule3))] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple1) -> rule2) OR ((((triple2 triple4) -> rule1)) -> rule2))]