The dog likes the rabbit. The dog needs the rabbit. The rabbit likes the dog. If something is green and it visits the dog then it is big. If something likes the dog and the dog needs the rabbit then the dog is big.
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
If something is green and it visits the dog then it is big.
((("something" "is" "green" "+") ("something" "visits" "dog" "+")) -> ("something" "is" "big" "+"))
If something likes the dog and the dog needs the rabbit then the dog is big.
((("something" "likes" "dog" "+") ("dog" "needs" "rabbit" "+")) -> ("dog" "is" "big" "+"))
The dog likes the rabbit.
True
1
proof
[(triple1)]
("dog" "likes" "rabbit" "+")
triple1
The dog does not like the rabbit.
False
1
inv-proof
[(triple1)]
("dog" "likes" "rabbit" "-")
triple1
The dog is big.
True
3
proof
[(((triple3 triple2) -> rule2))]
("dog" "is" "big" "+")
((triple3 triple2) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog is not big.
False
3
inv-proof
[(((triple3 triple2) -> rule2))]
("dog" "is" "big" "-")
((triple3 triple2) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The rabbit is not big.
Unknown
inv-rconc
[@1: The rabbit is big.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "big" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
The rabbit does not visit the rabbit.
Unknown
inv-random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The dog likes the rabbit.[(triple1)] The dog needs the rabbit.[(triple2)] The rabbit likes the dog.[(triple3)] @1: The dog is big.[(((triple3 triple2) -> rule2))]
The dog likes the rabbit.
("dog" "likes" "rabbit" "+")
triple1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple2
The rabbit likes the dog.
("rabbit" "likes" "dog" "+")
triple3
The dog is big.
("dog" "is" "big" "+")
((triple3 triple2) -> (rule2 % int1))
The dog is big.
("dog" "is" "big" "+")
int1