The lion is green. The lion is rough. The lion is young. The lion sees the rabbit. The lion visits the rabbit. The rabbit eats the lion. The rabbit is blue. The rabbit is nice. The rabbit sees the lion. The rabbit visits the lion. If someone is rough then they eat the rabbit. If someone sees the rabbit and they see the lion then they eat the lion.
The lion is green.
("lion" "is" "green" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion is young.
("lion" "is" "young" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone is rough then they eat the rabbit.
((("someone" "is" "rough" "+")) -> ("someone" "eats" "rabbit" "+"))
If someone sees the rabbit and they see the lion then they eat the lion.
((("someone" "sees" "rabbit" "+") ("someone" "sees" "lion" "+")) -> ("someone" "eats" "lion" "+"))
The lion sees the rabbit.
True
1
proof
[(triple4)]
("lion" "sees" "rabbit" "+")
triple4
The rabbit is not nice.
False
1
inv-proof
[(triple8)]
("rabbit" "is" "nice" "-")
triple8
The lion does not eat the lion.
Unknown
inv-rconc
[@1: The lion eats the lion.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "eats" "lion" "-")
The lion sees the lion.
Unknown
random
[@0: The lion sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "sees" "lion" "+")
@0: The lion is green.[(triple1)] The lion is rough.[(triple2)] The lion is young.[(triple3)] The lion sees the rabbit.[(triple4)] The lion visits the rabbit.[(triple5)] The rabbit eats the lion.[(triple6)] The rabbit is blue.[(triple7)] The rabbit is nice.[(triple8)] The rabbit sees the lion.[(triple9)] The rabbit visits the lion.[(triple10)] @1: The lion eats the rabbit.[(((triple2) -> rule1))]
The lion is green.
("lion" "is" "green" "+")
triple1
The lion is rough.
("lion" "is" "rough" "+")
triple2
The lion is young.
("lion" "is" "young" "+")
triple3
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple4
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple5
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple6
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple7
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple8
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple9
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple10
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
((triple2) -> (rule1 % int1))
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
int1