The mouse is cold. The mouse is nice. The mouse is red. The mouse is round. The mouse is young. All round people are young. If someone is round and not nice then they are cold. If someone is nice then they are round. If the mouse is red then the mouse is round. All young people are red. Round people are red.
The mouse does not like the mouse.
@0: The mouse is cold.[(triple1)] The mouse is nice.[(triple2)] The mouse is red.[(triple3 OR ((triple4) -> rule6) OR ((triple5) -> rule5) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple4) -> rule1)) -> rule5) OR ((((((triple2) -> rule3)) -> rule1)) -> rule5))] The mouse is round.[(triple4 OR ((triple2) -> rule3) OR ((triple3) -> rule4) OR ((((triple5) -> rule5)) -> rule4))] The mouse is young.[(triple5 OR ((triple4) -> rule1) OR ((((triple2) -> rule3)) -> rule1) OR ((((triple3) -> rule4)) -> rule1))]