The dog is big. The dog needs the rabbit. The dog sees the rabbit. The rabbit chases the tiger. The rabbit needs the dog. The rabbit sees the dog. The tiger chases the dog. The tiger needs the dog. The tiger needs the rabbit. The tiger sees the dog. If something needs the dog and it chases the dog then the dog is big. If something is rough then it needs the dog.
The dog is big.
("dog" "is" "big" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
The tiger chases the dog.
("tiger" "chases" "dog" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger sees the dog.
("tiger" "sees" "dog" "+")
If something needs the dog and it chases the dog then the dog is big.
((("something" "needs" "dog" "+") ("something" "chases" "dog" "+")) -> ("dog" "is" "big" "+"))
If something is rough then it needs the dog.
((("something" "is" "rough" "+")) -> ("something" "needs" "dog" "+"))
The rabbit chases the tiger.
True
1
proof
[(triple4)]
("rabbit" "chases" "tiger" "+")
triple4
The rabbit does not see the dog.
False
1
inv-proof
[(triple6)]
("rabbit" "sees" "dog" "-")
triple6
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "needs" "dog" "-")
The dog chases the rabbit.
Unknown
random
[@0: The dog chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "rabbit" "+")
@0: The dog is big.[(triple1 OR ((triple8 triple7) -> rule1))] The dog needs the rabbit.[(triple2)] The dog sees the rabbit.[(triple3)] The rabbit chases the tiger.[(triple4)] The rabbit needs the dog.[(triple5)] The rabbit sees the dog.[(triple6)] The tiger chases the dog.[(triple7)] The tiger needs the dog.[(triple8)] The tiger needs the rabbit.[(triple9)] The tiger sees the dog.[(triple10)]
The dog is big.
("dog" "is" "big" "+")
triple1
((triple8 triple7) -> (rule1 % int1))
The dog is big.
("dog" "is" "big" "+")
int1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple2
The dog sees the rabbit.
("dog" "sees" "rabbit" "+")
triple3
The rabbit chases the tiger.
("rabbit" "chases" "tiger" "+")
triple4
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple5
The rabbit sees the dog.
("rabbit" "sees" "dog" "+")
triple6
The tiger chases the dog.
("tiger" "chases" "dog" "+")
triple7
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple8
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple9
The tiger sees the dog.
("tiger" "sees" "dog" "+")
triple10