The mouse is blue. The mouse is red. The mouse is rough. The mouse is round. The mouse is young. All rough, blue things are young. All rough things are blue. If the mouse is young then the mouse is blue. If something is red then it is rough. Blue things are young. If the mouse is red then the mouse is blue.
The mouse does not chase the mouse.
@0: The mouse is blue.[(triple1 OR ((triple2) -> rule6) OR ((triple3) -> rule2) OR ((triple5) -> rule3) OR ((((triple2) -> rule4)) -> rule2))] The mouse is red.[(triple2)] The mouse is rough.[(triple3 OR ((triple2) -> rule4))] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple1) -> rule5) OR ((triple3 triple1) -> rule1) OR ((((triple2) -> rule6)) -> rule5) OR ((((triple3) -> rule2)) -> rule5) OR ((triple3 ((triple2) -> rule6)) -> rule1) OR ((triple3 ((triple3) -> rule2)) -> rule1) OR ((((triple2) -> rule4) triple1) -> rule1) OR ((((triple2) -> rule4) ((triple2) -> rule6)) -> rule1) OR ((((triple2) -> rule4) ((triple3) -> rule2)) -> rule1) OR ((((((triple2) -> rule4)) -> rule2)) -> rule5) OR ((triple3 ((((triple2) -> rule4)) -> rule2)) -> rule1) OR ((((triple2) -> rule4) ((((triple2) -> rule4)) -> rule2)) -> rule1))]