The cow is red. The cow does not see the dog. The cow sees the lion. The cow does not see the rabbit. The dog is blue. The dog is red. The lion needs the dog. The lion sees the dog. The rabbit chases the cow. The rabbit is red. If something is young and it does not see the rabbit then it does not see the dog. If something chases the dog and the dog chases the lion then it needs the rabbit. If something chases the cow then it does not need the rabbit. If something needs the lion then the lion is rough. If something sees the dog then it is not nice. If something needs the dog and it does not see the cow then the dog chases the rabbit. If something needs the dog then the dog sees the lion. If the dog chases the cow then the dog needs the cow.
The cow is red.
("cow" "is" "red" "+")
The cow does not see the dog.
("cow" "sees" "dog" "-")
The cow sees the lion.
("cow" "sees" "lion" "+")
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion sees the dog.
("lion" "sees" "dog" "+")
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If something is young and it does not see the rabbit then it does not see the dog.
((("something" "is" "young" "+") ("something" "sees" "rabbit" "~")) -> ("something" "sees" "dog" "-"))
If something chases the dog and the dog chases the lion then it needs the rabbit.
((("something" "chases" "dog" "+") ("dog" "chases" "lion" "+")) -> ("something" "needs" "rabbit" "+"))
If something chases the cow then it does not need the rabbit.
((("something" "chases" "cow" "+")) -> ("something" "needs" "rabbit" "-"))
If something needs the lion then the lion is rough.
((("something" "needs" "lion" "+")) -> ("lion" "is" "rough" "+"))
If something sees the dog then it is not nice.
((("something" "sees" "dog" "+")) -> ("something" "is" "nice" "-"))
If something needs the dog and it does not see the cow then the dog chases the rabbit.
((("something" "needs" "dog" "+") ("something" "sees" "cow" "~")) -> ("dog" "chases" "rabbit" "+"))
If something needs the dog then the dog sees the lion.
((("something" "needs" "dog" "+")) -> ("dog" "sees" "lion" "+"))
If the dog chases the cow then the dog needs the cow.
((("dog" "chases" "cow" "+")) -> ("dog" "needs" "cow" "+"))
The cow is red.
True
1
proof
[(triple1)]
("cow" "is" "red" "+")
triple1
The rabbit is not red.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "red" "-")
triple10
The dog sees the lion.
True
2
proof
[(((triple7) -> rule7))]
("dog" "sees" "lion" "+")
((triple7) -> (rule7 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The rabbit needs the rabbit.
False
2
inv-proof
[(((triple9) -> rule3))]
("rabbit" "needs" "rabbit" "+")
((triple9) -> (rule3 % int1))
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
int1
The dog does not chase the rabbit.
Unknown
inv-rconc
[@1: The dog chases the rabbit.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("dog" "chases" "rabbit" "-")
The dog needs the rabbit.
Unknown
rconc
[@1: The dog needs the rabbit.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "rabbit" "+")
The rabbit is not rough.
Unknown
inv-random
[@0: The rabbit is rough.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "rough" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The cow does not see the dog.[(triple2)] The cow does not see the rabbit.[(triple4)] The cow is red.[(triple1)] The cow sees the lion.[(triple3)] The dog is blue.[(triple5)] The dog is red.[(triple6)] The lion needs the dog.[(triple7)] The lion sees the dog.[(triple8)] The rabbit chases the cow.[(triple9)] The rabbit is red.[(triple10)] @1: The dog sees the lion.[(((triple7) -> rule7))] The lion is not nice.[(((triple8) -> rule5))] The rabbit does not need the rabbit.[(((triple9) -> rule3))]
The cow does not see the dog.
("cow" "sees" "dog" "-")
triple2
The cow does not see the rabbit.
("cow" "sees" "rabbit" "-")
triple4
The cow is red.
("cow" "is" "red" "+")
triple1
The cow sees the lion.
("cow" "sees" "lion" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple5
The dog is red.
("dog" "is" "red" "+")
triple6
The lion needs the dog.
("lion" "needs" "dog" "+")
triple7
The lion sees the dog.
("lion" "sees" "dog" "+")
triple8
The rabbit chases the cow.
("rabbit" "chases" "cow" "+")
triple9
The rabbit is red.
("rabbit" "is" "red" "+")
triple10
The dog sees the lion.
("dog" "sees" "lion" "+")
((triple7) -> (rule7 % int1))
The dog sees the lion.
("dog" "sees" "lion" "+")
int1
The lion is not nice.
("lion" "is" "nice" "-")
((triple8) -> (rule5 % int1))
The lion is not nice.
("lion" "is" "nice" "-")
int1
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
((triple9) -> (rule3 % int1))
The rabbit does not need the rabbit.
("rabbit" "needs" "rabbit" "-")
int1