The bear is blue. The bear is cold. The bear is green. The bear is kind. The bear is nice. If someone is green and nice then they are kind. If the bear is kind and the bear is blue then the bear is nice. Cold people are nice. All cold, kind people are green. If someone is kind then they are nice. If the bear is blue and the bear is kind then the bear is cold. If someone is kind and cold then they are blue. If the bear is green then the bear is kind.
The bear does not eat the bear.
@0: The bear is blue.[(triple1 OR ((triple4 triple2) -> rule7) OR ((((triple3) -> rule8) triple2) -> rule7) OR ((((triple3 triple5) -> rule1) triple2) -> rule7) OR ((((triple3 ((triple2) -> rule3)) -> rule1) triple2) -> rule7))] The bear is cold.[(triple2 OR ((triple1 triple4) -> rule6) OR ((triple1 ((triple3) -> rule8)) -> rule6) OR ((triple1 ((triple3 triple5) -> rule1)) -> rule6))] The bear is green.[(triple3 OR ((triple2 triple4) -> rule4) OR ((((triple1 triple4) -> rule6) triple4) -> rule4))] The bear is kind.[(triple4 OR ((triple3) -> rule8) OR ((triple3 triple5) -> rule1) OR ((triple3 ((triple2) -> rule3)) -> rule1))] The bear is nice.[(triple5 OR ((triple2) -> rule3) OR ((triple4) -> rule5) OR ((triple4 triple1) -> rule2) OR ((((triple3) -> rule8)) -> rule5) OR ((((triple1 triple4) -> rule6)) -> rule3) OR ((triple4 ((triple4 triple2) -> rule7)) -> rule2) OR ((((triple3) -> rule8) triple1) -> rule2) OR ((((triple3) -> rule8) ((triple4 triple2) -> rule7)) -> rule2) OR ((((triple1 ((triple3) -> rule8)) -> rule6)) -> rule3) OR ((triple4 ((((triple3) -> rule8) triple2) -> rule7)) -> rule2) OR ((((triple3) -> rule8) ((((triple3) -> rule8) triple2) -> rule7)) -> rule2))]