The cow is red. The cow needs the dog. The cow sees the dog. The cow visits the dog. The dog is kind. The dog is nice. The dog is young. The dog needs the cow. The dog sees the cow. The dog visits the cow. If someone is nice and kind then they see the dog.
The cow is red.
("cow" "is" "red" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is young.
("dog" "is" "young" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone is nice and kind then they see the dog.
((("someone" "is" "nice" "+") ("someone" "is" "kind" "+")) -> ("someone" "sees" "dog" "+"))
The dog needs the cow.
True
1
proof
[(triple8)]
("dog" "needs" "cow" "+")
triple8
The dog is not nice.
False
1
inv-proof
[(triple6)]
("dog" "is" "nice" "-")
triple6
The dog sees the dog.
True
3
proof
[(((triple6 triple5) -> rule1))]
("dog" "sees" "dog" "+")
((triple6 triple5) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not see the dog.
False
3
inv-proof
[(((triple6 triple5) -> rule1))]
("dog" "sees" "dog" "-")
((triple6 triple5) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1
The dog does not need the dog.
Unknown
inv-random
[@0: The dog needs the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "dog" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
The cow is not round.
Unknown
inv-random
[@0: The cow is round.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "round" "-")
The cow needs the cow.
Unknown
random
[@0: The cow needs the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "needs" "cow" "+")
@0: The cow is red.[(triple1)] The cow needs the dog.[(triple2)] The cow sees the dog.[(triple3)] The cow visits the dog.[(triple4)] The dog is kind.[(triple5)] The dog is nice.[(triple6)] The dog is young.[(triple7)] The dog needs the cow.[(triple8)] The dog sees the cow.[(triple9)] The dog visits the cow.[(triple10)] @1: The dog sees the dog.[(((triple6 triple5) -> rule1))]
The cow is red.
("cow" "is" "red" "+")
triple1
The cow needs the dog.
("cow" "needs" "dog" "+")
triple2
The cow sees the dog.
("cow" "sees" "dog" "+")
triple3
The cow visits the dog.
("cow" "visits" "dog" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog needs the cow.
("dog" "needs" "cow" "+")
triple8
The dog sees the cow.
("dog" "sees" "cow" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The dog sees the dog.
("dog" "sees" "dog" "+")
((triple6 triple5) -> (rule1 % int1))
The dog sees the dog.
("dog" "sees" "dog" "+")
int1