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