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