The mouse is big. The mouse is blue. The mouse is round. All nice, blue things are big. If something is big and blue then it is nice. Blue things are young. Big, young things are blue. All big, round things are nice. Nice, big things are round. If something is round and big then it is blue. All big, blue things are nice.
The mouse needs the mouse.
@0: The mouse is big.[(triple1)] The mouse is blue.[(triple2 OR ((triple3 triple1) -> rule7))] The mouse is round.[(triple3 OR ((((triple1 triple2) -> rule2) triple1) -> rule6) OR ((((triple1 triple2) -> rule8) triple1) -> rule6))] @1: The mouse is nice.[(((triple1 triple2) -> rule2) OR ((triple1 triple2) -> rule8) OR ((triple1 triple3) -> rule5) OR ((triple1 ((triple3 triple1) -> rule7)) -> rule2) OR ((triple1 ((triple3 triple1) -> rule7)) -> rule8))] The mouse is young.[(((triple2) -> rule3) OR ((((triple3 triple1) -> rule7)) -> rule3))]