The mouse is big. The mouse is cold. The mouse is rough. The mouse is round. The mouse is young. Big things are cold. If something is cold then it is big. All round things are rough. If the mouse is big and the mouse is round then the mouse is rough. If the mouse is rough then the mouse is young. Young things are cold.
The mouse is big.
@0: The mouse is big.[(triple1 OR ((triple2) -> rule2) OR ((((triple5) -> rule6)) -> rule2) OR ((((((triple3) -> rule5)) -> rule6)) -> rule2) OR ((((((((triple4) -> rule3)) -> rule5)) -> rule6)) -> rule2))] The mouse is cold.[(triple2 OR ((triple1) -> rule1) OR ((triple5) -> rule6) OR ((((triple3) -> rule5)) -> rule6) OR ((((((triple4) -> rule3)) -> rule5)) -> rule6) OR ((((((triple1 triple4) -> rule4)) -> rule5)) -> rule6))] The mouse is rough.[(triple3 OR ((triple4) -> rule3) OR ((triple1 triple4) -> rule4) OR ((((triple2) -> rule2) triple4) -> rule4) OR ((((((triple5) -> rule6)) -> rule2) triple4) -> rule4))] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple3) -> rule5) OR ((((triple4) -> rule3)) -> rule5) OR ((((triple1 triple4) -> rule4)) -> rule5) OR ((((((triple2) -> rule2) triple4) -> rule4)) -> rule5))]