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