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