The mouse is big. The mouse is green. The mouse is red. The mouse is round. The mouse is young. If the mouse is young then the mouse is big. If something is green then it is big. All red things are green. Big, red things are young. Young, round things are green. All green, round things are red. All red things are green. All big, red things are green.
The mouse is green.
@0: The mouse is big.[(triple1 OR ((triple2) -> rule2) OR ((triple5) -> rule1) OR ((((triple3) -> rule3)) -> rule2) OR ((((triple3) -> rule7)) -> rule2) OR ((((triple5 triple4) -> rule5)) -> rule2))] The mouse is green.[(triple2 OR ((triple3) -> rule3) OR ((triple3) -> rule7) OR ((triple1 triple3) -> rule8) OR ((triple5 triple4) -> rule5) OR ((((triple5) -> rule1) triple3) -> rule8) OR ((((triple1 triple3) -> rule4) triple4) -> rule5))] The mouse is red.[(triple3 OR ((triple2 triple4) -> rule6) OR ((((triple5 triple4) -> rule5) triple4) -> rule6))] The mouse is round.[(triple4)] The mouse is young.[(triple5 OR ((triple1 triple3) -> rule4) OR ((triple1 ((triple2 triple4) -> rule6)) -> rule4) OR ((((triple2) -> rule2) triple3) -> rule4) OR ((((triple2) -> rule2) ((triple2 triple4) -> rule6)) -> rule4) OR ((((((triple3) -> rule3)) -> rule2) triple3) -> rule4) OR ((((((triple3) -> rule7)) -> rule2) triple3) -> rule4) OR ((((((triple3) -> rule3)) -> rule2) ((triple2 triple4) -> rule6)) -> rule4) OR ((((((triple3) -> rule7)) -> rule2) ((triple2 triple4) -> rule6)) -> rule4))]