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