The dog is red. The dog does not see the rabbit. The rabbit visits the dog. If the rabbit visits the dog then the rabbit is big. If someone eats the rabbit and the rabbit does not visit the dog then the dog is big.
The dog is red.
("dog" "is" "red" "+")
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If the rabbit visits the dog then the rabbit is big.
((("rabbit" "visits" "dog" "+")) -> ("rabbit" "is" "big" "+"))
If someone eats the rabbit and the rabbit does not visit the dog then the dog is big.
((("someone" "eats" "rabbit" "+") ("rabbit" "visits" "dog" "~")) -> ("dog" "is" "big" "+"))
The dog does not see the rabbit.
True
1
proof
[(triple2)]
("dog" "sees" "rabbit" "-")
triple2
The dog is not red.
False
1
inv-proof
[(triple1)]
("dog" "is" "red" "-")
triple1
The rabbit is big.
True
2
proof
[(((triple3) -> rule1))]
("rabbit" "is" "big" "+")
((triple3) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The rabbit is not big.
False
2
inv-proof
[(((triple3) -> rule1))]
("rabbit" "is" "big" "-")
((triple3) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1
The dog is not big.
Unknown
inv-rconc
[@1: The dog is big.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "is" "big" "-")
The rabbit sees the dog.
Unknown
random
[@0: The rabbit sees the dog.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "dog" "+")
The rabbit is not round.
Unknown
inv-random
[@0: The rabbit is round.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "round" "-")
The dog visits the rabbit.
Unknown
random
[@0: The dog visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "rabbit" "+")
@0: The dog does not see the rabbit.[(triple2)] The dog is red.[(triple1)] The rabbit visits the dog.[(triple3)] @1: The rabbit is big.[(((triple3) -> rule1))]
The dog does not see the rabbit.
("dog" "sees" "rabbit" "-")
triple2
The dog is red.
("dog" "is" "red" "+")
triple1
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple3
The rabbit is big.
("rabbit" "is" "big" "+")
((triple3) -> (rule1 % int1))
The rabbit is big.
("rabbit" "is" "big" "+")
int1