The bear is blue. The bear is cold. The bear is green. The bear is kind. The bear is nice. If someone is blue then they are kind. If someone is green and cold then they are blue.
The bear is green.
@0: The bear is blue.[(triple1 OR ((triple3 triple2) -> rule2))] The bear is cold.[(triple2)] The bear is green.[(triple3)] The bear is kind.[(triple4 OR ((triple1) -> rule1) OR ((((triple3 triple2) -> rule2)) -> rule1))] The bear is nice.[(triple5)]