The lion eats the rabbit. The lion is blue. The lion is cold. The lion is kind. The lion is not rough. The lion is round. The lion needs the rabbit. The lion sees the rabbit. The rabbit eats the lion. The rabbit is not blue. The rabbit is cold. The rabbit is kind. The rabbit is rough. The rabbit is round. The rabbit needs the lion. The rabbit sees the lion. If someone is cold and they do not need the rabbit then the rabbit is cold. If someone is round then they see the lion. If someone is rough and they do not see the rabbit then the rabbit eats the lion. If the rabbit is not cold then the rabbit eats the lion. If the rabbit eats the lion then the rabbit needs the lion. If the rabbit eats the lion then the rabbit needs the lion. If someone eats the rabbit then the rabbit needs the lion. If someone needs the rabbit and the rabbit does not need the lion then the rabbit does not see the lion.
The lion eats 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 is not rough.
("lion" "is" "rough" "-")
The lion is round.
("lion" "is" "round" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is not blue.
("rabbit" "is" "blue" "-")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If someone is cold and they do not need the rabbit then the rabbit is cold.
((("someone" "is" "cold" "+") ("someone" "needs" "rabbit" "~")) -> ("rabbit" "is" "cold" "+"))
If someone is round then they see the lion.
((("someone" "is" "round" "+")) -> ("someone" "sees" "lion" "+"))
If someone is rough and they do not see the rabbit then the rabbit eats the lion.
((("someone" "is" "rough" "+") ("someone" "sees" "rabbit" "~")) -> ("rabbit" "eats" "lion" "+"))
If the rabbit is not cold then the rabbit eats the lion.
((("rabbit" "is" "cold" "~")) -> ("rabbit" "eats" "lion" "+"))
If the rabbit eats the lion then the rabbit needs the lion.
((("rabbit" "eats" "lion" "+")) -> ("rabbit" "needs" "lion" "+"))
If the rabbit eats the lion then the rabbit needs the lion.
((("rabbit" "eats" "lion" "+")) -> ("rabbit" "needs" "lion" "+"))
If someone eats the rabbit then the rabbit needs the lion.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "needs" "lion" "+"))
If someone needs the rabbit and the rabbit does not need the lion then the rabbit does not see the lion.
((("someone" "needs" "rabbit" "+") ("rabbit" "needs" "lion" "~")) -> ("rabbit" "sees" "lion" "-"))
The lion sees the rabbit.
True
1
proof
[(triple8)]
("lion" "sees" "rabbit" "+")
triple8
The rabbit is blue.
False
1
inv-proof
[(triple10)]
("rabbit" "is" "blue" "+")
triple10
The rabbit does not eat the rabbit.
Unknown
inv-random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "-")
The rabbit needs the rabbit.
Unknown
random
[@0: The rabbit needs the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "rabbit" "+")
@0: The lion eats the rabbit.[(triple1)] The lion is blue.[(triple2)] The lion is cold.[(triple3)] The lion is kind.[(triple4)] The lion is not rough.[(triple5)] The lion is round.[(triple6)] The lion needs the rabbit.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit eats the lion.[(triple9)] The rabbit is cold.[(triple11)] The rabbit is kind.[(triple12)] The rabbit is not blue.[(triple10)] The rabbit is rough.[(triple13)] The rabbit is round.[(triple14)] The rabbit needs the lion.[(triple15 OR ((triple1) -> rule7) OR ((triple9) -> rule5) OR ((triple9) -> rule6))] The rabbit sees the lion.[(triple16 OR ((triple14) -> rule2))] @1: The lion sees the lion.[(((triple6) -> rule2))]
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple1
The lion is blue.
("lion" "is" "blue" "+")
triple2
The lion is cold.
("lion" "is" "cold" "+")
triple3
The lion is kind.
("lion" "is" "kind" "+")
triple4
The lion is not rough.
("lion" "is" "rough" "-")
triple5
The lion is round.
("lion" "is" "round" "+")
triple6
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple7
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple8
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple9
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple11
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple12
The rabbit is not blue.
("rabbit" "is" "blue" "-")
triple10
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple13
The rabbit is round.
("rabbit" "is" "round" "+")
triple14
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple15
((triple1) -> (rule7 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
((triple9) -> (rule5 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
((triple9) -> (rule6 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple16
((triple14) -> (rule2 % int1))
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
int1
The lion sees the lion.
("lion" "sees" "lion" "+")
((triple6) -> (rule2 % int1))
The lion sees the lion.
("lion" "sees" "lion" "+")
int1