The bear is big. The bear is blue. The bear is nice. If the bear is nice then the bear is big. All blue people are nice. All big, nice people are blue. All big, nice people are blue. If the bear is red and the bear is round then the bear is big. If the bear is blue then the bear is nice.
The bear is not blue.
@0: The bear is big.[(triple1 OR ((triple3) -> rule1) OR ((((triple2) -> rule2)) -> rule1) OR ((((triple2) -> rule6)) -> rule1))] The bear is blue.[(triple2 OR ((triple1 triple3) -> rule3) OR ((triple1 triple3) -> rule4) OR ((((triple3) -> rule1) triple3) -> rule3) OR ((((triple3) -> rule1) triple3) -> rule4))] The bear is nice.[(triple3 OR ((triple2) -> rule2) OR ((triple2) -> rule6))]