The bear is not big. The bear is kind. The bear is red. The bear is round. The bear is young. If the bear is round and the bear is big then the bear is young. All young people are red. Young people are red. Big, round people are young. If someone is red and not big then they are young. If the bear is red then the bear is round. If the bear is young and the bear is not big then the bear is red. All young people are round.
The bear does not like the bear.
@0: The bear is kind.[(triple2)] The bear is not big.[(triple1)] The bear is red.[(triple3 OR ((triple5) -> rule2) OR ((triple5) -> rule3) OR ((triple5 triple1) -> rule7))] The bear is round.[(triple4 OR ((triple3) -> rule6) OR ((triple5) -> rule8) OR ((((triple5) -> rule2)) -> rule6) OR ((((triple5) -> rule3)) -> rule6) OR ((((triple3 triple1) -> rule5)) -> rule8) OR ((((triple5 triple1) -> rule7)) -> rule6))] The bear is young.[(triple5 OR ((triple3 triple1) -> rule5))]