The bear is cold. The bear is green. The bear is kind. The bear is nice. The bear is young. If the bear is kind and the bear is green then the bear is young. All green, kind things are nice. All green things are kind. Cold things are nice. If the bear is young then the bear is cold. Kind things are young. Kind, cold things are nice. If something is nice then it is kind.
The bear is not kind.
@0: The bear is cold.[(triple1 OR ((triple5) -> rule5) OR ((((triple3) -> rule6)) -> rule5) OR ((((triple3 triple2) -> rule1)) -> rule5) OR ((((((triple2) -> rule3)) -> rule6)) -> rule5) OR ((((((triple4) -> rule8)) -> rule6)) -> rule5) OR ((((((triple2) -> rule3) triple2) -> rule1)) -> rule5) OR ((((((triple4) -> rule8) triple2) -> rule1)) -> rule5))] The bear is green.[(triple2)] The bear is kind.[(triple3 OR ((triple2) -> rule3) OR ((triple4) -> rule8) OR ((((triple1) -> rule4)) -> rule8) OR ((((((triple5) -> rule5)) -> rule4)) -> rule8))] The bear is nice.[(triple4 OR ((triple1) -> rule4) OR ((triple2 triple3) -> rule2) OR ((triple3 triple1) -> rule7) OR ((((triple5) -> rule5)) -> rule4) OR ((triple2 ((triple2) -> rule3)) -> rule2) OR ((triple3 ((triple5) -> rule5)) -> rule7) OR ((((triple2) -> rule3) triple1) -> rule7) OR ((((triple2) -> rule3) ((triple5) -> rule5)) -> rule7) OR ((((((triple3) -> rule6)) -> rule5)) -> rule4) OR ((((((triple3 triple2) -> rule1)) -> rule5)) -> rule4) OR ((triple3 ((((triple3) -> rule6)) -> rule5)) -> rule7) OR ((triple3 ((((triple3 triple2) -> rule1)) -> rule5)) -> rule7) OR ((((triple2) -> rule3) ((((triple3) -> rule6)) -> rule5)) -> rule7) OR ((((triple2) -> rule3) ((((triple3 triple2) -> rule1)) -> rule5)) -> rule7) OR ((((((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule4) OR ((((((((triple2) -> rule3) triple2) -> rule1)) -> rule5)) -> rule4) OR ((triple3 ((((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule7) OR ((triple3 ((((((triple2) -> rule3) triple2) -> rule1)) -> rule5)) -> rule7) OR ((((triple2) -> rule3) ((((((triple2) -> rule3)) -> rule6)) -> rule5)) -> rule7) OR ((((triple2) -> rule3) ((((((triple2) -> rule3) triple2) -> rule1)) -> rule5)) -> rule7))] The bear is young.[(triple5 OR ((triple3) -> rule6) OR ((triple3 triple2) -> rule1) OR ((((triple2) -> rule3)) -> rule6) OR ((((triple4) -> rule8)) -> rule6) OR ((((triple2) -> rule3) triple2) -> rule1) OR ((((triple4) -> rule8) triple2) -> rule1) OR ((((((triple1) -> rule4)) -> rule8)) -> rule6) OR ((((((triple1) -> rule4)) -> rule8) triple2) -> rule1))]