The mouse is big. The mouse is blue. The mouse is red. The mouse is rough. The mouse is round. Rough, big things are red. Big things are rough. Blue things are big. All blue, red things are rough. If something is rough and red then it is big. All blue, rough things are round. If something is blue and rough then it is big. Blue, round things are rough.
The mouse is not round.
@0: The mouse is big.[(triple1 OR ((triple2) -> rule3) OR ((triple2 triple4) -> rule7) OR ((triple4 triple3) -> rule5) OR ((triple2 ((triple2 triple3) -> rule4)) -> rule7) OR ((triple2 ((triple2 triple5) -> rule8)) -> rule7) OR ((((triple2 triple3) -> rule4) triple3) -> rule5) OR ((((triple2 triple5) -> rule8) triple3) -> rule5))] The mouse is blue.[(triple2)] The mouse is red.[(triple3 OR ((triple4 triple1) -> rule1) OR ((triple4 ((triple2) -> rule3)) -> rule1) OR ((triple4 ((triple2 triple4) -> rule7)) -> rule1) OR ((((triple1) -> rule2) triple1) -> rule1) OR ((((triple2 triple5) -> rule8) triple1) -> rule1) OR ((((triple1) -> rule2) ((triple2) -> rule3)) -> rule1) OR ((((triple1) -> rule2) ((triple2 triple4) -> rule7)) -> rule1) OR ((((triple2 triple5) -> rule8) ((triple2) -> rule3)) -> rule1) OR ((((triple2 triple5) -> rule8) ((triple2 triple4) -> rule7)) -> rule1) OR ((triple4 ((triple2 ((triple2 triple5) -> rule8)) -> rule7)) -> rule1) OR ((((((triple2) -> rule3)) -> rule2) triple1) -> rule1) OR ((((triple1) -> rule2) ((triple2 ((triple2 triple5) -> rule8)) -> rule7)) -> rule1) OR ((((((triple2) -> rule3)) -> rule2) ((triple2) -> rule3)) -> rule1) OR ((((((triple2) -> rule3)) -> rule2) ((triple2 triple4) -> rule7)) -> rule1) OR ((((triple2 triple5) -> rule8) ((triple2 ((triple2 triple5) -> rule8)) -> rule7)) -> rule1) OR ((((((triple2) -> rule3)) -> rule2) ((triple2 ((triple2 triple5) -> rule8)) -> rule7)) -> rule1))] The mouse is rough.[(triple4 OR ((triple1) -> rule2) OR ((triple2 triple3) -> rule4) OR ((triple2 triple5) -> rule8) OR ((((triple2) -> rule3)) -> rule2))] The mouse is round.[(triple5 OR ((triple2 triple4) -> rule6) OR ((triple2 ((triple1) -> rule2)) -> rule6) OR ((triple2 ((triple2 triple3) -> rule4)) -> rule6) OR ((triple2 ((((triple2) -> rule3)) -> rule2)) -> rule6))]