The bear is green. The bear is kind. The bear is rough. The bear is round. The bear is young. Round, rough things are young. Green, young things are kind. All rough, kind things are green. Kind things are round. Round, young things are kind. All young, green things are rough. Rough things are kind. Young things are rough.
The bear is not young.
@0: The bear is green.[(triple1 OR ((triple3 triple2) -> rule3) OR ((triple3 ((triple3) -> rule7)) -> rule3) OR ((triple3 ((triple4 triple5) -> rule5)) -> rule3) OR ((((triple5) -> rule8) triple2) -> rule3) OR ((((triple5) -> rule8) ((triple3) -> rule7)) -> rule3) OR ((((triple5) -> rule8) ((triple4 triple5) -> rule5)) -> rule3) OR ((triple3 ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((triple3 ((triple4 ((triple4 triple3) -> rule1)) -> rule5)) -> rule3) OR ((((triple5) -> rule8) ((((triple5) -> rule8)) -> rule7)) -> rule3) OR ((((triple5) -> rule8) ((triple4 ((triple4 triple3) -> rule1)) -> rule5)) -> rule3))] The bear is kind.[(triple2 OR ((triple3) -> rule7) OR ((triple1 triple5) -> rule2) OR ((triple4 triple5) -> rule5) OR ((((triple5) -> rule8)) -> rule7) OR ((((triple5 triple1) -> rule6)) -> rule7) OR ((triple1 ((triple4 triple3) -> rule1)) -> rule2) OR ((triple4 ((triple4 triple3) -> rule1)) -> rule5))] The bear is rough.[(triple3 OR ((triple5) -> rule8) OR ((triple5 triple1) -> rule6))] The bear is round.[(triple4 OR ((triple2) -> rule4) OR ((((triple3) -> rule7)) -> rule4) OR ((((triple1 triple5) -> rule2)) -> rule4) OR ((((((triple5) -> rule8)) -> rule7)) -> rule4) OR ((((((triple5 triple1) -> rule6)) -> rule7)) -> rule4))] The bear is young.[(triple5 OR ((triple4 triple3) -> rule1) OR ((((triple2) -> rule4) triple3) -> rule1) OR ((((((triple3) -> rule7)) -> rule4) triple3) -> rule1))]