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