The bear is big. The bear is blue. The bear is kind. The bear is nice. The bear is rough. Nice things are rough. If something is blue then it is big. All kind things are rough. Blue things are nice. If the bear is big then the bear is blue. If the bear is blue and the bear is nice then the bear is rough. If something is rough and kind then it is big. If something is blue then it is nice.
The bear does not visit the bear.
@0: The bear is big.[(triple1 OR ((triple2) -> rule2) OR ((triple5 triple3) -> rule7) OR ((((triple3) -> rule3) triple3) -> rule7) OR ((((triple4) -> rule1) triple3) -> rule7) OR ((((triple2 triple4) -> rule6) triple3) -> rule7) OR ((((((triple2) -> rule4)) -> rule1) triple3) -> rule7) OR ((((((triple2) -> rule8)) -> rule1) triple3) -> rule7) OR ((((triple2 ((triple2) -> rule4)) -> rule6) triple3) -> rule7) OR ((((triple2 ((triple2) -> rule8)) -> rule6) triple3) -> rule7))] The bear is blue.[(triple2 OR ((triple1) -> rule5) OR ((((triple5 triple3) -> rule7)) -> rule5) OR ((((((triple3) -> rule3) triple3) -> rule7)) -> rule5) OR ((((((triple4) -> rule1) triple3) -> rule7)) -> rule5))] The bear is kind.[(triple3)] The bear is nice.[(triple4 OR ((triple2) -> rule4) OR ((triple2) -> rule8) OR ((((triple1) -> rule5)) -> rule4) OR ((((triple1) -> rule5)) -> rule8) OR ((((((triple5 triple3) -> rule7)) -> rule5)) -> rule4) OR ((((((triple5 triple3) -> rule7)) -> rule5)) -> rule8) OR ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule5)) -> rule4) OR ((((((((triple3) -> rule3) triple3) -> rule7)) -> rule5)) -> rule8))] The bear is rough.[(triple5 OR ((triple3) -> rule3) OR ((triple4) -> rule1) OR ((triple2 triple4) -> rule6) OR ((((triple2) -> rule4)) -> rule1) OR ((((triple2) -> rule8)) -> rule1) OR ((triple2 ((triple2) -> rule4)) -> rule6) OR ((triple2 ((triple2) -> rule8)) -> rule6) OR ((((triple1) -> rule5) triple4) -> rule6) OR ((((triple1) -> rule5) ((triple2) -> rule4)) -> rule6) OR ((((triple1) -> rule5) ((triple2) -> rule8)) -> rule6) OR ((((((triple1) -> rule5)) -> rule4)) -> rule1) OR ((((((triple1) -> rule5)) -> rule8)) -> rule1) OR ((triple2 ((((triple1) -> rule5)) -> rule4)) -> rule6) OR ((triple2 ((((triple1) -> rule5)) -> rule8)) -> rule6) OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule4)) -> rule6) OR ((((triple1) -> rule5) ((((triple1) -> rule5)) -> rule8)) -> rule6))]