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