The mouse is big. The mouse is blue. The mouse is cold. The mouse is nice. The mouse is rough. All cold people are big. Nice people are big. Big, cold people are nice. All nice people are cold. If someone is nice and not big then they are not rough. If someone is rough and nice then they are blue.
The mouse is not rough.
@0: The mouse is big.[(triple1 OR ((triple3) -> rule1) OR ((triple4) -> rule2) OR ((((triple4) -> rule4)) -> rule1))] The mouse is blue.[(triple2 OR ((triple5 triple4) -> rule6) OR ((triple5 ((triple1 triple3) -> rule3)) -> rule6) OR ((triple5 ((((triple3) -> rule1) triple3) -> rule3)) -> rule6))] The mouse is cold.[(triple3 OR ((triple4) -> rule4))] The mouse is nice.[(triple4 OR ((triple1 triple3) -> rule3) OR ((((triple3) -> rule1) triple3) -> rule3))] The mouse is rough.[(triple5)]