The bear is cold. The bear is red. The bear is rough. The bear is round. The bear is young. If someone is young then they are cold. All rough, red people are cold. If the bear is cold and the bear is round then the bear is young. If the bear is red then the bear is cold. If the bear is young then the bear is cold. Rough, round people are young.
The bear sees the bear.
@0: The bear is cold.[(triple1 OR ((triple2) -> rule4) OR ((triple5) -> rule1) OR ((triple5) -> rule5) OR ((triple3 triple2) -> rule2) OR ((((triple3 triple4) -> rule6)) -> rule1) OR ((((triple3 triple4) -> rule6)) -> rule5))] The bear is red.[(triple2)] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5 OR ((triple1 triple4) -> rule3) OR ((triple3 triple4) -> rule6) OR ((((triple2) -> rule4) triple4) -> rule3) OR ((((triple3 triple2) -> rule2) triple4) -> rule3))]