The bear is big. The bear is cold. The bear is kind. The bear is nice. The bear is round. If someone is nice and round then they are cold. Cold people are round. If the bear is kind and the bear is big then the bear is round. If the bear is nice and the bear is big then the bear is round. If someone is kind then they are nice. If someone is cold then they are kind.
The bear is not kind.
@0: The bear is big.[(triple1)] The bear is cold.[(triple2 OR ((triple4 triple5) -> rule1) OR ((triple4 ((triple3 triple1) -> rule3)) -> rule1) OR ((triple4 ((triple4 triple1) -> rule4)) -> rule1) OR ((((triple3) -> rule5) triple5) -> rule1) OR ((((triple3) -> rule5) ((triple3 triple1) -> rule3)) -> rule1) OR ((((triple3) -> rule5) ((triple4 triple1) -> rule4)) -> rule1) OR ((triple4 ((((triple3) -> rule5) triple1) -> rule4)) -> rule1) OR ((((triple3) -> rule5) ((((triple3) -> rule5) triple1) -> rule4)) -> rule1))] The bear is kind.[(triple3 OR ((triple2) -> rule6) OR ((((triple4 triple5) -> rule1)) -> rule6) OR ((((triple4 ((triple4 triple1) -> rule4)) -> rule1)) -> rule6))] The bear is nice.[(triple4 OR ((triple3) -> rule5) OR ((((triple2) -> rule6)) -> rule5))] The bear is round.[(triple5 OR ((triple2) -> rule2) OR ((triple3 triple1) -> rule3) OR ((triple4 triple1) -> rule4) OR ((((triple2) -> rule6) triple1) -> rule3) OR ((((triple3) -> rule5) triple1) -> rule4) OR ((((((triple2) -> rule6)) -> rule5) triple1) -> rule4))]