The cow chases the tiger. The cow is red. The cow is rough. The cow is round. The cow likes the tiger. The tiger chases the cow. The tiger is blue. The tiger is red. The tiger is rough. The tiger is round. The tiger likes the cow. The tiger visits the cow. If someone visits the tiger and the tiger likes the cow then the cow is blue. If someone is big and they like the cow then they are red. If someone is blue then they visit the tiger. If someone is blue and they chase the cow then they visit the cow. If someone chases the cow and they like the cow then the cow visits the tiger. If someone likes the cow and the cow chases the tiger then the tiger likes the cow. If someone is red and they visit the tiger then the tiger chases the cow. If someone is round and they like the tiger then they chase the cow.
The cow chases the cow.
@0: The cow chases the tiger.[(triple1)] The cow is red.[(triple2)] The cow is rough.[(triple3)] The cow is round.[(triple4)] The cow likes the tiger.[(triple5)] The tiger chases the cow.[(triple6 OR ((triple8 ((triple7) -> rule3)) -> rule7) OR ((triple2 ((((((triple7) -> rule3) triple11) -> rule1)) -> rule3)) -> rule7))] The tiger is blue.[(triple7)] The tiger is red.[(triple8)] The tiger is rough.[(triple9)] The tiger is round.[(triple10)] The tiger likes the cow.[(triple11)] The tiger visits the cow.[(triple12 OR ((triple7 triple6) -> rule4) OR ((triple7 ((triple8 ((triple7) -> rule3)) -> rule7)) -> rule4) OR ((triple7 ((triple2 ((((((triple7) -> rule3) triple11) -> rule1)) -> rule3)) -> rule7)) -> rule4))] @1: The cow chases the cow.[(((triple4 triple5) -> rule8))] The cow visits the tiger.[(((triple6 triple11) -> rule5) OR ((((((triple7) -> rule3) triple11) -> rule1)) -> rule3) OR ((((triple8 ((triple7) -> rule3)) -> rule7) triple11) -> rule5))] The tiger visits the tiger.[(((triple7) -> rule3))] @2: The cow is blue.[(((((triple7) -> rule3) triple11) -> rule1) OR ((((triple6 triple11) -> rule5) triple11) -> rule1) OR ((((((triple8 ((triple7) -> rule3)) -> rule7) triple11) -> rule5) triple11) -> rule1))] @3: The cow visits the cow.[(((((((triple7) -> rule3) triple11) -> rule1) ((triple4 triple5) -> rule8)) -> rule4) OR ((((((triple6 triple11) -> rule5) triple11) -> rule1) ((triple4 triple5) -> rule8)) -> rule4) OR ((((((((triple8 ((triple7) -> rule3)) -> rule7) triple11) -> rule5) triple11) -> rule1) ((triple4 triple5) -> rule8)) -> rule4))]