The dog eats the lion. The dog is not blue. The dog is not kind. The dog is rough. The lion is rough. The lion visits the dog. The lion visits the rabbit. The rabbit is nice. The rabbit is round. The rabbit needs the dog. The rabbit needs the lion. The tiger does not eat the lion. The tiger does not eat the rabbit. The tiger is blue. The tiger needs the dog. The tiger does not need the lion. If someone visits the dog then they need the dog. If someone eats the lion and they visit the rabbit then they are not round. If the dog is rough and the dog does not need the tiger then the dog eats the rabbit.
The dog eats the lion.
("dog" "eats" "lion" "+")
The dog is not blue.
("dog" "is" "blue" "-")
The dog is not kind.
("dog" "is" "kind" "-")
The dog is rough.
("dog" "is" "rough" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the dog.
("tiger" "needs" "dog" "+")
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
If someone visits the dog then they need the dog.
((("someone" "visits" "dog" "+")) -> ("someone" "needs" "dog" "+"))
If someone eats the lion and they visit the rabbit then they are not round.
((("someone" "eats" "lion" "+") ("someone" "visits" "rabbit" "+")) -> ("someone" "is" "round" "-"))
If the dog is rough and the dog does not need the tiger then the dog eats the rabbit.
((("dog" "is" "rough" "+") ("dog" "needs" "tiger" "~")) -> ("dog" "eats" "rabbit" "+"))
The lion visits the dog.
True
1
proof
[(triple6)]
("lion" "visits" "dog" "+")
triple6
The tiger eats the rabbit.
False
1
inv-proof
[(triple13)]
("tiger" "eats" "rabbit" "+")
triple13
The dog does not need the dog.
Unknown
inv-rconc
[@1: The dog needs the dog.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "needs" "dog" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
@0: The dog eats the lion.[(triple1)] The dog is not blue.[(triple2)] The dog is not kind.[(triple3)] The dog is rough.[(triple4)] The lion is rough.[(triple5)] The lion visits the dog.[(triple6)] The lion visits the rabbit.[(triple7)] The rabbit is nice.[(triple8)] The rabbit is round.[(triple9)] The rabbit needs the dog.[(triple10)] The rabbit needs the lion.[(triple11)] The tiger does not eat the lion.[(triple12)] The tiger does not eat the rabbit.[(triple13)] The tiger does not need the lion.[(triple16)] The tiger is blue.[(triple14)] The tiger needs the dog.[(triple15)] @1: The lion needs the dog.[(((triple6) -> rule1))]
The dog eats the lion.
("dog" "eats" "lion" "+")
triple1
The dog is not blue.
("dog" "is" "blue" "-")
triple2
The dog is not kind.
("dog" "is" "kind" "-")
triple3
The dog is rough.
("dog" "is" "rough" "+")
triple4
The lion is rough.
("lion" "is" "rough" "+")
triple5
The lion visits the dog.
("lion" "visits" "dog" "+")
triple6
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit is round.
("rabbit" "is" "round" "+")
triple9
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple10
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple11
The tiger does not eat the lion.
("tiger" "eats" "lion" "-")
triple12
The tiger does not eat the rabbit.
("tiger" "eats" "rabbit" "-")
triple13
The tiger does not need the lion.
("tiger" "needs" "lion" "-")
triple16
The tiger is blue.
("tiger" "is" "blue" "+")
triple14
The tiger needs the dog.
("tiger" "needs" "dog" "+")
triple15
The lion needs the dog.
("lion" "needs" "dog" "+")
((triple6) -> (rule1 % int1))
The lion needs the dog.
("lion" "needs" "dog" "+")
int1