The bear is big. The bear is green. The bear is nice. The bear is round. The bear is young. If the bear is big and the bear is young then the bear is green. If someone is big then they are young. If the bear is young and the bear is big then the bear is round. All big people are round. If someone is round then they are young. All round people are big. All nice, round people are big. Big people are round.
The bear does not need the bear.
@0: The bear is big.[(triple1 OR ((triple4) -> rule6) OR ((triple3 triple4) -> rule7))] The bear is green.[(triple2 OR ((triple1 triple5) -> rule1) OR ((triple1 ((triple1) -> rule2)) -> rule1) OR ((triple1 ((triple4) -> rule5)) -> rule1) OR ((((triple4) -> rule6) triple5) -> rule1) OR ((((triple3 triple4) -> rule7) triple5) -> rule1) OR ((((triple4) -> rule6) ((triple1) -> rule2)) -> rule1) OR ((((triple4) -> rule6) ((triple4) -> rule5)) -> rule1) OR ((((triple3 triple4) -> rule7) ((triple1) -> rule2)) -> rule1) OR ((((triple3 triple4) -> rule7) ((triple4) -> rule5)) -> rule1) OR ((triple1 ((((triple1) -> rule4)) -> rule5)) -> rule1) OR ((triple1 ((((triple1) -> rule8)) -> rule5)) -> rule1) OR ((triple1 ((((triple4) -> rule6)) -> rule2)) -> rule1) OR ((triple1 ((((triple3 triple4) -> rule7)) -> rule2)) -> rule1) OR ((((triple4) -> rule6) ((((triple1) -> rule4)) -> rule5)) -> rule1) OR ((((triple4) -> rule6) ((((triple1) -> rule8)) -> rule5)) -> rule1) OR ((((triple4) -> rule6) ((((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((triple4) -> rule6) ((((triple3 triple4) -> rule7)) -> rule2)) -> rule1) OR ((((triple3 triple4) -> rule7) ((((triple1) -> rule4)) -> rule5)) -> rule1) OR ((((triple3 triple4) -> rule7) ((((triple1) -> rule8)) -> rule5)) -> rule1) OR ((((triple3 triple4) -> rule7) ((((triple4) -> rule6)) -> rule2)) -> rule1) OR ((((triple3 triple4) -> rule7) ((((triple3 triple4) -> rule7)) -> rule2)) -> rule1))] The bear is nice.[(triple3)] The bear is round.[(triple4 OR ((triple1) -> rule4) OR ((triple1) -> rule8) OR ((triple5 triple1) -> rule3) OR ((((triple1) -> rule2) triple1) -> rule3))] The bear is young.[(triple5 OR ((triple1) -> rule2) OR ((triple4) -> rule5) OR ((((triple1) -> rule4)) -> rule5) OR ((((triple1) -> rule8)) -> rule5) OR ((((triple4) -> rule6)) -> rule2) OR ((((triple3 triple4) -> rule7)) -> rule2))]