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