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