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