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