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