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