The mouse is big. The mouse is kind. The mouse is red. The mouse is round. The mouse is young. All red, big people are round. Round people are kind. All kind, big people are young. All young, big people are round. If the mouse is red then the mouse is kind. If the mouse is kind and the mouse is young then the mouse is big.
The mouse is red.
@0: The mouse is big.[(triple1 OR ((triple2 triple5) -> rule6) OR ((((triple3) -> rule5) triple5) -> rule6) OR ((((triple4) -> rule2) triple5) -> rule6))] The mouse is kind.[(triple2 OR ((triple3) -> rule5) OR ((triple4) -> rule2) OR ((((triple3 triple1) -> rule1)) -> rule2) OR ((((triple5 triple1) -> rule4)) -> rule2))] The mouse is red.[(triple3)] The mouse is round.[(triple4 OR ((triple3 triple1) -> rule1) OR ((triple5 triple1) -> rule4) OR ((triple3 ((triple2 triple5) -> rule6)) -> rule1) OR ((triple5 ((triple2 triple5) -> rule6)) -> rule4) OR ((((triple2 triple1) -> rule3) triple1) -> rule4) OR ((((triple2 triple1) -> rule3) ((triple2 triple5) -> rule6)) -> rule4) OR ((triple3 ((((triple3) -> rule5) triple5) -> rule6)) -> rule1) OR ((triple5 ((((triple3) -> rule5) triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule5) triple1) -> rule3) triple1) -> rule4) OR ((((triple2 triple1) -> rule3) ((((triple3) -> rule5) triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule5) triple1) -> rule3) ((triple2 triple5) -> rule6)) -> rule4) OR ((((((triple3) -> rule5) triple1) -> rule3) ((((triple3) -> rule5) triple5) -> rule6)) -> rule4))] The mouse is young.[(triple5 OR ((triple2 triple1) -> rule3) OR ((((triple3) -> rule5) triple1) -> rule3) OR ((((triple4) -> rule2) triple1) -> rule3) OR ((((((triple3 triple1) -> rule1)) -> rule2) triple1) -> rule3))]