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