The cow chases the dog. The cow is blue. The cow is green. The cow is kind. The cow sees the dog. The dog chases the cow. The dog is blue. The dog is green. The dog sees the cow. The dog visits the cow. If someone is young and blue then they chase the cow. Green, blue people are young.
The cow chases the dog.
("cow" "chases" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is green.
("cow" "is" "green" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow sees the dog.
("cow" "sees" "dog" "+")
The dog chases the cow.
("dog" "chases" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog sees the cow.
("dog" "sees" "cow" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
If someone is young and blue then they chase the cow.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "chases" "cow" "+"))
Green, blue people are young.
((("someone" "is" "green" "+") ("someone" "is" "blue" "+")) -> ("someone" "is" "young" "+"))
The cow chases the dog.
True
1
proof
[(triple1)]
("cow" "chases" "dog" "+")
triple1
The cow does not see the dog.
False
1
inv-proof
[(triple5)]
("cow" "sees" "dog" "-")
triple5
The cow is young.
True
3
proof
[(((triple3 triple2) -> rule2))]
("cow" "is" "young" "+")
((triple3 triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("cow" "is" "young" "-")
((triple3 triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow chases the cow.
True
5
proof
[(((((triple3 triple2) -> rule2) triple2) -> rule1))]
("cow" "chases" "cow" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow does not chase the cow.
False
5
inv-proof
[(((((triple3 triple2) -> rule2) triple2) -> rule1))]
("cow" "chases" "cow" "-")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2
The cow does not see the cow.
Unknown
inv-random
[@0: The cow sees the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "cow" "-")
The cow is cold.
Unknown
random
[@0: The cow is cold.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "cold" "+")
The dog is not kind.
Unknown
inv-random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "-")
The dog is cold.
Unknown
random
[@0: The dog is cold.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "cold" "+")
The cow does not visit the dog.
Unknown
inv-random
[@0: The cow visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "dog" "-")
The dog chases the dog.
Unknown
random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "+")
@0: The cow chases the dog.[(triple1)] The cow is blue.[(triple2)] The cow is green.[(triple3)] The cow is kind.[(triple4)] The cow sees the dog.[(triple5)] The dog chases the cow.[(triple6 OR ((((triple8 triple7) -> rule2) triple7) -> rule1))] The dog is blue.[(triple7)] The dog is green.[(triple8)] The dog sees the cow.[(triple9)] The dog visits the cow.[(triple10)] @1: The cow is young.[(((triple3 triple2) -> rule2))] The dog is young.[(((triple8 triple7) -> rule2))] @2: The cow chases the cow.[(((((triple3 triple2) -> rule2) triple2) -> rule1))]
The cow chases the dog.
("cow" "chases" "dog" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is green.
("cow" "is" "green" "+")
triple3
The cow is kind.
("cow" "is" "kind" "+")
triple4
The cow sees the dog.
("cow" "sees" "dog" "+")
triple5
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
((((triple8 triple7) -> (rule2 % int2)) triple7) -> (rule1 % int1))
The dog chases the cow.
("dog" "chases" "cow" "+")
int1
The dog is young.
("dog" "is" "young" "+")
int2
The dog is blue.
("dog" "is" "blue" "+")
triple7
The dog is green.
("dog" "is" "green" "+")
triple8
The dog sees the cow.
("dog" "sees" "cow" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The cow is young.
("cow" "is" "young" "+")
((triple3 triple2) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The dog is young.
("dog" "is" "young" "+")
((triple8 triple7) -> (rule2 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The cow chases the cow.
("cow" "chases" "cow" "+")
((((triple3 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The cow chases the cow.
("cow" "chases" "cow" "+")
int1
The cow is young.
("cow" "is" "young" "+")
int2