The mouse is big. The mouse is blue. The mouse is cold. The mouse is red. The mouse is rough. If someone is big and cold then they are red. If someone is red then they are rough. If someone is red then they are cold. If someone is big then they are blue. Blue, big people are red. If the mouse is red then the mouse is cold.
The mouse eats the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple1) -> rule4))] The mouse is cold.[(triple3 OR ((triple4) -> rule3) OR ((triple4) -> rule6) OR ((((triple2 triple1) -> rule5)) -> rule3) OR ((((triple2 triple1) -> rule5)) -> rule6) OR ((((((triple1) -> rule4) triple1) -> rule5)) -> rule3) OR ((((((triple1) -> rule4) triple1) -> rule5)) -> rule6))] The mouse is red.[(triple4 OR ((triple1 triple3) -> rule1) OR ((triple2 triple1) -> rule5) OR ((((triple1) -> rule4) triple1) -> rule5))] The mouse is rough.[(triple5 OR ((triple4) -> rule2) OR ((((triple1 triple3) -> rule1)) -> rule2) OR ((((triple2 triple1) -> rule5)) -> rule2) OR ((((((triple1) -> rule4) triple1) -> rule5)) -> rule2))]