The bear eats the rabbit. The bear is cold. The bear is kind. The bear is nice. The bear is red. The bear is rough. The bear does not like the rabbit. The bear sees the rabbit. The rabbit does not eat the bear. The rabbit is cold. The rabbit is kind. The rabbit is red. The rabbit is rough. The rabbit likes the bear. The rabbit sees the bear. If the bear is cold then the bear sees the rabbit. If someone likes the bear and they see the bear then the bear sees the rabbit. If someone eats the bear then the bear is cold. If someone eats the rabbit and the rabbit sees the bear then they eat the bear. If someone eats the rabbit and the rabbit likes the bear then they eat the bear. If the rabbit eats the bear then the rabbit is cold. If the bear is kind then the bear eats the rabbit. If someone is cold and they eat the bear then they do not see the bear.
The bear eats the bear.
@0: The bear does not like the rabbit.[(triple7)] The bear eats the rabbit.[(triple1 OR ((triple3) -> rule7))] The bear is cold.[(triple2 OR ((((triple1 triple14) -> rule5)) -> rule3) OR ((((triple1 triple15) -> rule4)) -> rule3) OR ((((((triple3) -> rule7) triple14) -> rule5)) -> rule3) OR ((((((triple3) -> rule7) triple15) -> rule4)) -> rule3))] The bear is kind.[(triple3)] The bear is nice.[(triple4)] The bear is red.[(triple5)] The bear is rough.[(triple6)] The bear sees the rabbit.[(triple8 OR ((triple2) -> rule1) OR ((triple14 triple15) -> rule2) OR ((((((triple1 triple14) -> rule5)) -> rule3)) -> rule1) OR ((((((triple1 triple15) -> rule4)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule7) triple14) -> rule5)) -> rule3)) -> rule1) OR ((((((((triple3) -> rule7) triple15) -> rule4)) -> rule3)) -> rule1))] The rabbit does not eat the bear.[(triple9)] The rabbit is cold.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is red.[(triple12)] The rabbit is rough.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit sees the bear.[(triple15)] @1: The bear eats the bear.[(((triple1 triple14) -> rule5) OR ((triple1 triple15) -> rule4) OR ((((triple3) -> rule7) triple14) -> rule5) OR ((((triple3) -> rule7) triple15) -> rule4))] @2: The bear does not see the bear.[(((triple2 ((triple1 triple14) -> rule5)) -> rule8) OR ((triple2 ((triple1 triple15) -> rule4)) -> rule8) OR ((triple2 ((((triple3) -> rule7) triple14) -> rule5)) -> rule8) OR ((triple2 ((((triple3) -> rule7) triple15) -> rule4)) -> rule8) OR ((((((triple1 triple14) -> rule5)) -> rule3) ((triple1 triple14) -> rule5)) -> rule8) OR ((((((triple1 triple14) -> rule5)) -> rule3) ((triple1 triple15) -> rule4)) -> rule8) OR ((((((triple1 triple15) -> rule4)) -> rule3) ((triple1 triple14) -> rule5)) -> rule8) OR ((((((triple1 triple15) -> rule4)) -> rule3) ((triple1 triple15) -> rule4)) -> rule8) OR ((((((triple1 triple14) -> rule5)) -> rule3) ((((triple3) -> rule7) triple14) -> rule5)) -> rule8) OR ((((((triple1 triple14) -> rule5)) -> rule3) ((((triple3) -> rule7) triple15) -> rule4)) -> rule8) OR ((((((triple1 triple15) -> rule4)) -> rule3) ((((triple3) -> rule7) triple14) -> rule5)) -> rule8) OR ((((((triple1 triple15) -> rule4)) -> rule3) ((((triple3) -> rule7) triple15) -> rule4)) -> rule8) OR ((((((((triple3) -> rule7) triple14) -> rule5)) -> rule3) ((triple1 triple14) -> rule5)) -> rule8) OR ((((((((triple3) -> rule7) triple14) -> rule5)) -> rule3) ((triple1 triple15) -> rule4)) -> rule8) OR ((((((((triple3) -> rule7) triple15) -> rule4)) -> rule3) ((triple1 triple14) -> rule5)) -> rule8) OR ((((((((triple3) -> rule7) triple15) -> rule4)) -> rule3) ((triple1 triple15) -> rule4)) -> rule8) OR ((((((((triple3) -> rule7) triple14) -> rule5)) -> rule3) ((((triple3) -> rule7) triple14) -> rule5)) -> rule8) OR ((((((((triple3) -> rule7) triple14) -> rule5)) -> rule3) ((((triple3) -> rule7) triple15) -> rule4)) -> rule8) OR ((((((((triple3) -> rule7) triple15) -> rule4)) -> rule3) ((((triple3) -> rule7) triple14) -> rule5)) -> rule8) OR ((((((((triple3) -> rule7) triple15) -> rule4)) -> rule3) ((((triple3) -> rule7) triple15) -> rule4)) -> rule8))]