The mouse is big. The mouse is green. The mouse is kind. The mouse is red. The mouse is young. Red, big things are young. If something is kind and big then it is red. If something is kind and green then it is big.
The mouse eats the mouse.
@0: The mouse is big.[(triple1 OR ((triple3 triple2) -> rule3))] The mouse is green.[(triple2)] The mouse is kind.[(triple3)] The mouse is red.[(triple4 OR ((triple3 triple1) -> rule2) OR ((triple3 ((triple3 triple2) -> rule3)) -> rule2))] The mouse is young.[(triple5 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple3 triple2) -> rule3)) -> rule1) OR ((((triple3 triple1) -> rule2) triple1) -> rule1) OR ((((triple3 triple1) -> rule2) ((triple3 triple2) -> rule3)) -> rule1) OR ((((triple3 ((triple3 triple2) -> rule3)) -> rule2) triple1) -> rule1) OR ((((triple3 ((triple3 triple2) -> rule3)) -> rule2) ((triple3 triple2) -> rule3)) -> rule1))]