The bear is blue. The bear is nice. The bear is rough. The bear is round. The bear is young. Young people are blue. If someone is rough then they are blue. If someone is blue and nice then they are rough. All blue people are nice. If someone is young and round then they are rough. If the bear is young and the bear is round then the bear is rough. Young people are round. If the bear is young then the bear is round.
The bear is round.
@0: The bear is blue.[(triple1 OR ((triple3) -> rule2) OR ((triple5) -> rule1) OR ((((triple5 triple4) -> rule5)) -> rule2) OR ((((triple5 triple4) -> rule6)) -> rule2) OR ((((triple5 ((triple5) -> rule7)) -> rule5)) -> rule2) OR ((((triple5 ((triple5) -> rule7)) -> rule6)) -> rule2) OR ((((triple5 ((triple5) -> rule8)) -> rule5)) -> rule2) OR ((((triple5 ((triple5) -> rule8)) -> rule6)) -> rule2))] The bear is nice.[(triple2 OR ((triple1) -> rule4) OR ((((triple3) -> rule2)) -> rule4) OR ((((triple5) -> rule1)) -> rule4) OR ((((((triple5 triple4) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 triple4) -> rule6)) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule7)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule7)) -> rule6)) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule8)) -> rule5)) -> rule2)) -> rule4) OR ((((((triple5 ((triple5) -> rule8)) -> rule6)) -> rule2)) -> rule4))] The bear is rough.[(triple3 OR ((triple1 triple2) -> rule3) OR ((triple5 triple4) -> rule5) OR ((triple5 triple4) -> rule6) OR ((triple1 ((triple1) -> rule4)) -> rule3) OR ((triple5 ((triple5) -> rule7)) -> rule5) OR ((triple5 ((triple5) -> rule7)) -> rule6) OR ((triple5 ((triple5) -> rule8)) -> rule5) OR ((triple5 ((triple5) -> rule8)) -> rule6) OR ((((triple5) -> rule1) triple2) -> rule3) OR ((((triple5) -> rule1) ((triple1) -> rule4)) -> rule3) OR ((triple1 ((((triple5) -> rule1)) -> rule4)) -> rule3) OR ((((triple5) -> rule1) ((((triple5) -> rule1)) -> rule4)) -> rule3))] The bear is round.[(triple4 OR ((triple5) -> rule7) OR ((triple5) -> rule8))] The bear is young.[(triple5)]