The lion chases the rabbit. The lion does not eat the rabbit. The lion is blue. The lion is cold. The lion is kind. The lion sees the rabbit. The rabbit chases the lion. The rabbit does not eat the lion. The rabbit is kind. The rabbit sees the lion. If someone sees the lion and they chase the lion then they eat the rabbit.
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
The lion is blue.
("lion" "is" "blue" "+")
The lion is cold.
("lion" "is" "cold" "+")
The lion is kind.
("lion" "is" "kind" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If someone sees the lion and they chase the lion then they eat the rabbit.
((("someone" "sees" "lion" "+") ("someone" "chases" "lion" "+")) -> ("someone" "eats" "rabbit" "+"))
The lion is blue.
True
1
proof
[(triple3)]
("lion" "is" "blue" "+")
triple3
The lion is not blue.
False
1
inv-proof
[(triple3)]
("lion" "is" "blue" "-")
triple3
The rabbit is not red.
Unknown
inv-random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "-")
The rabbit sees the rabbit.
Unknown
random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "+")
@0: The lion chases the rabbit.[(triple1)] The lion does not eat the rabbit.[(triple2)] The lion is blue.[(triple3)] The lion is cold.[(triple4)] The lion is kind.[(triple5)] The lion sees the rabbit.[(triple6)] The rabbit chases the lion.[(triple7)] The rabbit does not eat the lion.[(triple8)] The rabbit is kind.[(triple9)] The rabbit sees the lion.[(triple10)] @1: The rabbit eats the rabbit.[(((triple10 triple7) -> rule1))]
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple1
The lion does not eat the rabbit.
("lion" "eats" "rabbit" "-")
triple2
The lion is blue.
("lion" "is" "blue" "+")
triple3
The lion is cold.
("lion" "is" "cold" "+")
triple4
The lion is kind.
("lion" "is" "kind" "+")
triple5
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple6
The rabbit chases the lion.
("rabbit" "chases" "lion" "+")
triple7
The rabbit does not eat the lion.
("rabbit" "eats" "lion" "-")
triple8
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple9
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple10
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((triple10 triple7) -> (rule1 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1