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