The dog chases the rabbit. The dog eats the rabbit. The dog is big. The dog is blue. The dog is red. The dog is rough. The dog is young. The dog likes the rabbit. The rabbit eats the dog. The rabbit is blue. The rabbit is red. The rabbit likes the dog. If something likes the rabbit then it chases the rabbit. If something chases the rabbit then it is red. If the dog chases the rabbit and the dog does not like the rabbit then the dog is not young. If something chases the rabbit then the rabbit chases the dog. If something is red and it does not eat the dog then it likes the dog. If something chases the rabbit and it does not like the dog then the rabbit is rough.
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
The dog is big.
("dog" "is" "big" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is red.
("dog" "is" "red" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog is young.
("dog" "is" "young" "+")
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If something likes the rabbit then it chases the rabbit.
((("something" "likes" "rabbit" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit then it is red.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "red" "+"))
If the dog chases the rabbit and the dog does not like the rabbit then the dog is not young.
((("dog" "chases" "rabbit" "+") ("dog" "likes" "rabbit" "~")) -> ("dog" "is" "young" "-"))
If something chases the rabbit then the rabbit chases the dog.
((("something" "chases" "rabbit" "+")) -> ("rabbit" "chases" "dog" "+"))
If something is red and it does not eat the dog then it likes the dog.
((("something" "is" "red" "+") ("something" "eats" "dog" "~")) -> ("something" "likes" "dog" "+"))
If something chases the rabbit and it does not like the dog then the rabbit is rough.
((("something" "chases" "rabbit" "+") ("something" "likes" "dog" "~")) -> ("rabbit" "is" "rough" "+"))
The dog is big.
True
1
proof
[(triple3)]
("dog" "is" "big" "+")
triple3
The dog does not eat the rabbit.
False
1
inv-proof
[(triple2)]
("dog" "eats" "rabbit" "-")
triple2
The rabbit chases the dog.
True
2
proof
[(((triple1) -> rule4) OR ((((triple8) -> rule1)) -> rule4))]
("rabbit" "chases" "dog" "+")
((triple1) -> (rule4 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The rabbit does not chase the dog.
False
2
inv-proof
[(((triple1) -> rule4) OR ((((triple8) -> rule1)) -> rule4))]
("rabbit" "chases" "dog" "-")
((triple1) -> (rule4 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog does not like the dog.
Unknown
inv-rconc
[@1: The dog likes the dog.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "likes" "dog" "-")
The rabbit is rough.
Unknown
rconc
[@1: The rabbit is rough.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("rabbit" "is" "rough" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
@0: The dog chases the rabbit.[(triple1 OR ((triple8) -> rule1))] The dog eats the rabbit.[(triple2)] The dog is big.[(triple3)] The dog is blue.[(triple4)] The dog is red.[(triple5 OR ((triple1) -> rule2) OR ((((triple8) -> rule1)) -> rule2))] The dog is rough.[(triple6)] The dog is young.[(triple7)] The dog likes the rabbit.[(triple8)] The rabbit eats the dog.[(triple9)] The rabbit is blue.[(triple10)] The rabbit is red.[(triple11)] The rabbit likes the dog.[(triple12)] @1: The rabbit chases the dog.[(((triple1) -> rule4) OR ((((triple8) -> rule1)) -> rule4))]
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple1
((triple8) -> (rule1 % int1))
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int1
The dog eats the rabbit.
("dog" "eats" "rabbit" "+")
triple2
The dog is big.
("dog" "is" "big" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
((triple1) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2
The dog is rough.
("dog" "is" "rough" "+")
triple6
The dog is young.
("dog" "is" "young" "+")
triple7
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple8
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple9
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple10
The rabbit is red.
("rabbit" "is" "red" "+")
triple11
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple12
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
((triple1) -> (rule4 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
((((triple8) -> (rule1 % int2))) -> (rule4 % int1))
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
int1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
int2