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