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