The mouse is big. The mouse is blue. The mouse is cold. The mouse is nice. The mouse is young. All big, blue things are nice. If the mouse is big then the mouse is young. All nice, blue things are cold. If the mouse is big then the mouse is cold. If the mouse is nice then the mouse is cold. All young things are cold.
The mouse chases the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2)] The mouse is cold.[(triple3 OR ((triple1) -> rule4) OR ((triple4) -> rule5) OR ((triple5) -> rule6) OR ((triple4 triple2) -> rule3) OR ((((triple1) -> rule2)) -> rule6) OR ((((triple1 triple2) -> rule1)) -> rule5) OR ((((triple1 triple2) -> rule1) triple2) -> rule3))] The mouse is nice.[(triple4 OR ((triple1 triple2) -> rule1))] The mouse is young.[(triple5 OR ((triple1) -> rule2))]