The cow is nice. The cow is red. The cow is round. The cow likes the dog. The cow needs the dog. The dog chases the cow. The dog is rough. The dog is round. The dog likes the cow. The dog needs the cow. If someone is nice and red then they need the dog. If the cow is blue then the cow likes the dog. If someone is rough then they are round.
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 chases the cow.
("dog" "chases" "cow" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is round.
("dog" "is" "round" "+")
The dog likes the cow.
("dog" "likes" "cow" "+")
The dog needs the cow.
("dog" "needs" "cow" "+")
If someone is nice and red then they need the dog.
((("someone" "is" "nice" "+") ("someone" "is" "red" "+")) -> ("someone" "needs" "dog" "+"))
If the cow is blue then the cow likes the dog.
((("cow" "is" "blue" "+")) -> ("cow" "likes" "dog" "+"))
If someone is rough then they are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
The cow likes the dog.
True
1
proof
[(triple4)]
("cow" "likes" "dog" "+")
triple4
The dog is not rough.
False
1
inv-proof
[(triple7)]
("dog" "is" "rough" "-")
triple7
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "dog" "-")
The dog likes the dog.
Unknown
random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "+")
@0: The cow is nice.[(triple1)] The cow is red.[(triple2)] The cow is round.[(triple3)] The cow likes the dog.[(triple4)] The cow needs the dog.[(triple5 OR ((triple1 triple2) -> rule1))] The dog chases the cow.[(triple6)] The dog is rough.[(triple7)] The dog is round.[(triple8 OR ((triple7) -> rule3))] The dog likes the cow.[(triple9)] The dog needs the cow.[(triple10)]
The cow is nice.
("cow" "is" "nice" "+")
triple1
The cow is red.
("cow" "is" "red" "+")
triple2
The cow is round.
("cow" "is" "round" "+")
triple3
The cow likes the dog.
("cow" "likes" "dog" "+")
triple4
The cow needs the dog.
("cow" "needs" "dog" "+")
triple5
((triple1 triple2) -> (rule1 % int1))
The cow needs the dog.
("cow" "needs" "dog" "+")
int1
The dog chases the cow.
("dog" "chases" "cow" "+")
triple6
The dog is rough.
("dog" "is" "rough" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
triple8
((triple7) -> (rule3 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The dog likes the cow.
("dog" "likes" "cow" "+")
triple9
The dog needs the cow.
("dog" "needs" "cow" "+")
triple10