The bear is big. The bear is blue. The bear is nice. The bear is round. The bear is young. The bear likes the mouse. The bear sees the mouse. The bear visits the mouse. The mouse is blue. The mouse is nice. The mouse is round. The mouse is young. The mouse likes the bear. The mouse sees the bear. The mouse visits the bear. If someone sees the mouse then the mouse visits the bear. If someone is young then they like the mouse. If someone likes the bear and the bear visits the mouse then they see the bear. If someone is young and big then they are blue. If someone visits the bear then the bear likes the mouse. If someone visits the bear and the bear is round then the bear visits the mouse. All round people are young. If someone is blue and they visit the bear then they like the bear.
The bear does not like the bear.
@0: The bear is big.[(triple1)] The bear is blue.[(triple2 OR ((triple5 triple1) -> rule4) OR ((((triple4) -> rule7) triple1) -> rule4))] The bear is nice.[(triple3)] The bear is round.[(triple4)] The bear is young.[(triple5 OR ((triple4) -> rule7))] The bear likes the mouse.[(triple6 OR ((triple15) -> rule5) OR ((triple5) -> rule2) OR ((((triple4) -> rule7)) -> rule2) OR ((((triple7) -> rule1)) -> rule5))] The bear sees the mouse.[(triple7)] The bear visits the mouse.[(triple8 OR ((triple15 triple4) -> rule6) OR ((((triple7) -> rule1) triple4) -> rule6))] The mouse is blue.[(triple9)] The mouse is nice.[(triple10)] The mouse is round.[(triple11)] The mouse is young.[(triple12 OR ((triple11) -> rule7))] The mouse likes the bear.[(triple13 OR ((triple9 triple15) -> rule8) OR ((triple9 ((triple7) -> rule1)) -> rule8))] The mouse sees the bear.[(triple14 OR ((triple13 triple8) -> rule3) OR ((triple13 ((triple15 triple4) -> rule6)) -> rule3) OR ((((triple9 triple15) -> rule8) triple8) -> rule3) OR ((((triple9 triple15) -> rule8) ((triple15 triple4) -> rule6)) -> rule3) OR ((triple13 ((((triple7) -> rule1) triple4) -> rule6)) -> rule3) OR ((((triple9 ((triple7) -> rule1)) -> rule8) triple8) -> rule3) OR ((((triple9 triple15) -> rule8) ((((triple7) -> rule1) triple4) -> rule6)) -> rule3) OR ((((triple9 ((triple7) -> rule1)) -> rule8) ((triple15 triple4) -> rule6)) -> rule3) OR ((((triple9 ((triple7) -> rule1)) -> rule8) ((((triple7) -> rule1) triple4) -> rule6)) -> rule3))] The mouse visits the bear.[(triple15 OR ((triple7) -> rule1))] @1: The mouse likes the mouse.[(((triple12) -> rule2) OR ((((triple11) -> rule7)) -> rule2))]