The cow eats the dog. The cow is blue. The cow is nice. The cow is red. The cow is round. The cow likes the dog. The cow needs the dog. The dog eats the cow. The dog is blue. The dog is nice. The dog is red. The dog is round. The dog is young. The dog likes the cow. The dog needs the cow. If someone likes the cow then they are young. If someone eats the dog and they need the cow then they need the dog. If someone likes the dog and they need the cow then the cow eats the dog. If someone is young and they do not eat the cow then the cow needs the dog. If someone is young and blue then they like the cow. If someone eats the cow then they eat the dog.
The cow eats the dog.
("cow" "eats" "dog" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow is red.
("cow" "is" "red" "+")
The cow is round.
("cow" "is" "round" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow needs the dog.
("cow" "needs" "dog" "+")
The dog eats the cow.
("dog" "eats" "cow" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is nice.
("dog" "is" "nice" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is round.
("dog" "is" "round" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If someone likes the cow then they are young.
((("someone" "likes" "cow" "+")) -> ("someone" "is" "young" "+"))
If someone eats the dog and they need the cow then they need the dog.
((("someone" "eats" "dog" "+") ("someone" "needs" "cow" "+")) -> ("someone" "needs" "dog" "+"))
If someone likes the dog and they need the cow then the cow eats the dog.
((("someone" "likes" "dog" "+") ("someone" "needs" "cow" "+")) -> ("cow" "eats" "dog" "+"))
If someone is young and they do not eat the cow then the cow needs the dog.
((("someone" "is" "young" "+") ("someone" "eats" "cow" "~")) -> ("cow" "needs" "dog" "+"))
If someone is young and blue then they like the cow.
((("someone" "is" "young" "+") ("someone" "is" "blue" "+")) -> ("someone" "likes" "cow" "+"))
If someone eats the cow then they eat the dog.
((("someone" "eats" "cow" "+")) -> ("someone" "eats" "dog" "+"))
The cow is blue.
True
1
proof
[(triple2)]
("cow" "is" "blue" "+")
triple2
The dog is not round.
False
1
inv-proof
[(triple12)]
("dog" "is" "round" "-")
triple12
The dog eats the dog.
True
2
proof
[(((triple8) -> rule6))]
("dog" "eats" "dog" "+")
((triple8) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog does not eat the dog.
False
2
inv-proof
[(((triple8) -> rule6))]
("dog" "eats" "dog" "-")
((triple8) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog needs the dog.
True
4
proof
[(((((triple8) -> rule6) triple15) -> rule2))]
("dog" "needs" "dog" "+")
((((triple8) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The dog does not need the dog.
False
4
inv-proof
[(((((triple8) -> rule6) triple15) -> rule2))]
("dog" "needs" "dog" "-")
((((triple8) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2
The cow is not young.
Unknown
inv-rconc
[@2: The cow is young.[CWA. Example of deepest failure = (rule1 <- rule5 <- FAIL)]]
("cow" "is" "young" "-")
The cow likes the cow.
Unknown
rconc
[@2: The cow likes the cow.[CWA. Example of deepest failure = (rule5 <- rule1 <- FAIL)]]
("cow" "likes" "cow" "+")
The cow does not eat the cow.
Unknown
inv-random
[@0: The cow eats the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cow" "-")
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 eats the dog.[(triple1)] The cow is blue.[(triple2)] The cow is nice.[(triple3)] The cow is red.[(triple4)] The cow is round.[(triple5)] The cow likes the dog.[(triple6)] The cow needs the dog.[(triple7)] The dog eats the cow.[(triple8)] The dog is blue.[(triple9)] The dog is nice.[(triple10)] The dog is red.[(triple11)] The dog is round.[(triple12)] The dog is young.[(triple13 OR ((triple14) -> rule1))] The dog likes the cow.[(triple14 OR ((triple13 triple9) -> rule5))] The dog needs the cow.[(triple15)] @1: The dog eats the dog.[(((triple8) -> rule6))] @2: The dog needs the dog.[(((((triple8) -> rule6) triple15) -> rule2))]
The cow eats the dog.
("cow" "eats" "dog" "+")
triple1
The cow is blue.
("cow" "is" "blue" "+")
triple2
The cow is nice.
("cow" "is" "nice" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow is round.
("cow" "is" "round" "+")
triple5
The cow likes the dog.
("cow" "likes" "dog" "+")
triple6
The cow needs the dog.
("cow" "needs" "dog" "+")
triple7
The dog eats the cow.
("dog" "eats" "cow" "+")
triple8
The dog is blue.
("dog" "is" "blue" "+")
triple9
The dog is nice.
("dog" "is" "nice" "+")
triple10
The dog is red.
("dog" "is" "red" "+")
triple11
The dog is round.
("dog" "is" "round" "+")
triple12
The dog is young.
("dog" "is" "young" "+")
triple13
((triple14) -> (rule1 % int1))
The dog is young.
("dog" "is" "young" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
triple14
((triple13 triple9) -> (rule5 % int1))
The dog likes the cow.
("dog" "likes" "cow" "+")
int1
The dog needs the cow.
("dog" "needs" "cow" "+")
triple15
The dog eats the dog.
("dog" "eats" "dog" "+")
((triple8) -> (rule6 % int1))
The dog eats the dog.
("dog" "eats" "dog" "+")
int1
The dog needs the dog.
("dog" "needs" "dog" "+")
((((triple8) -> (rule6 % int2)) triple15) -> (rule2 % int1))
The dog needs the dog.
("dog" "needs" "dog" "+")
int1
The dog eats the dog.
("dog" "eats" "dog" "+")
int2