The cow is blue. The cow is rough. The cow needs the dog. The cow sees the dog. The dog is nice. The dog likes the cow. The dog sees the cow. If someone sees the dog then they see the cow. If someone is kind then they see the dog. If someone needs the cow then they need the dog. If someone needs the cow then the cow needs the dog. If someone needs the cow and the cow sees the dog then the dog is kind. If someone needs the dog and they see the dog then the dog likes the cow. If the cow needs the dog and the dog sees the cow then the dog needs the cow. If the dog likes the cow and the cow sees the dog then the dog sees the cow.
The cow does not like the dog.
@0: The cow is blue.[(triple1)] The cow is rough.[(triple2)] The cow needs the dog.[(triple3)] The cow sees the dog.[(triple4)] The dog is nice.[(triple5)] The dog likes the cow.[(triple6 OR ((triple3 triple4) -> rule6) OR ((((((triple3 triple7) -> rule7)) -> rule3) ((((((triple3 triple7) -> rule7) triple4) -> rule5)) -> rule2)) -> rule6))] The dog sees the cow.[(triple7 OR ((triple6 triple4) -> rule8) OR ((((triple3 triple4) -> rule6) triple4) -> rule8))] @1: The cow sees the cow.[(((triple4) -> rule1))] The dog needs the cow.[(((triple3 triple7) -> rule7) OR ((triple3 ((triple6 triple4) -> rule8)) -> rule7) OR ((triple3 ((((triple3 triple4) -> rule6) triple4) -> rule8)) -> rule7))] @2: The dog is kind.[(((((triple3 triple7) -> rule7) triple4) -> rule5) OR ((((triple3 ((triple6 triple4) -> rule8)) -> rule7) triple4) -> rule5) OR ((((triple3 ((((triple3 triple4) -> rule6) triple4) -> rule8)) -> rule7) triple4) -> rule5))] The dog needs the dog.[(((((triple3 triple7) -> rule7)) -> rule3) OR ((((triple3 ((triple6 triple4) -> rule8)) -> rule7)) -> rule3) OR ((((triple3 ((((triple3 triple4) -> rule6) triple4) -> rule8)) -> rule7)) -> rule3))] @3: The dog sees the dog.[(((((((triple3 triple7) -> rule7) triple4) -> rule5)) -> rule2) OR ((((((triple3 ((triple6 triple4) -> rule8)) -> rule7) triple4) -> rule5)) -> rule2) OR ((((((triple3 ((((triple3 triple4) -> rule6) triple4) -> rule8)) -> rule7) triple4) -> rule5)) -> rule2))]