The cat chases the dog. The cat chases the tiger. The cat needs the dog. The cat needs the rabbit. The cat needs the tiger. The cat sees the dog. The dog needs the tiger. The rabbit chases the dog. The tiger chases the cat. The tiger chases the rabbit. The tiger is round. The tiger sees the rabbit. If something is nice and it needs the tiger then the tiger is big. If something is nice then it does not need the tiger. If the rabbit does not need the dog then the dog does not chase the rabbit. If the dog is red then the dog is nice. If something chases the tiger and it needs the cat then the cat is red. If the rabbit chases the cat then the rabbit is nice.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the tiger.
("cat" "chases" "tiger" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cat sees the dog.
("cat" "sees" "dog" "+")
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The tiger chases the cat.
("tiger" "chases" "cat" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger is round.
("tiger" "is" "round" "+")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something is nice and it needs the tiger then the tiger is big.
((("something" "is" "nice" "+") ("something" "needs" "tiger" "+")) -> ("tiger" "is" "big" "+"))
If something is nice then it does not need the tiger.
((("something" "is" "nice" "+")) -> ("something" "needs" "tiger" "-"))
If the rabbit does not need the dog then the dog does not chase the rabbit.
((("rabbit" "needs" "dog" "~")) -> ("dog" "chases" "rabbit" "-"))
If the dog is red then the dog is nice.
((("dog" "is" "red" "+")) -> ("dog" "is" "nice" "+"))
If something chases the tiger and it needs the cat then the cat is red.
((("something" "chases" "tiger" "+") ("something" "needs" "cat" "+")) -> ("cat" "is" "red" "+"))
If the rabbit chases the cat then the rabbit is nice.
((("rabbit" "chases" "cat" "+")) -> ("rabbit" "is" "nice" "+"))
The tiger is round.
True
1
proof
[(triple11)]
("tiger" "is" "round" "+")
triple11
The cat does not need the tiger.
False
1
inv-proof
[(triple5)]
("cat" "needs" "tiger" "-")
triple5
The tiger is not big.
Unknown
inv-rconc
[@2: The tiger is big.[CWA. Example of deepest failure = (rule1 <- rule4 <- FAIL)]]
("tiger" "is" "big" "-")
The dog is round.
Unknown
random
[@0: The dog is round.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "round" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the tiger.[(triple2)] The cat needs the dog.[(triple3)] The cat needs the rabbit.[(triple4)] The cat needs the tiger.[(triple5)] The cat sees the dog.[(triple6)] The dog needs the tiger.[(triple7)] The rabbit chases the dog.[(triple8)] The tiger chases the cat.[(triple9)] The tiger chases the rabbit.[(triple10)] The tiger is round.[(triple11)] The tiger sees the rabbit.[(triple12)]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the tiger.
("cat" "chases" "tiger" "+")
triple2
The cat needs the dog.
("cat" "needs" "dog" "+")
triple3
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple4
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple5
The cat sees the dog.
("cat" "sees" "dog" "+")
triple6
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple7
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple8
The tiger chases the cat.
("tiger" "chases" "cat" "+")
triple9
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple12