The lion is not green. The lion is not kind. The lion is nice. The lion is red. The lion is young. The lion likes the rabbit. The lion needs the rabbit. The lion does not visit the rabbit. The rabbit is not green. The rabbit is kind. The rabbit is nice. The rabbit is red. The rabbit likes the lion. The rabbit needs the lion. The rabbit visits the lion. If the lion likes the rabbit and the rabbit is not nice then the rabbit likes the lion. All kind things are not green. If something likes the rabbit then the rabbit is not young. If the lion is not nice then the lion needs the rabbit. If something visits the rabbit then it visits the lion. If something is young then it likes the lion.
The lion is not green.
("lion" "is" "green" "-")
The lion is not kind.
("lion" "is" "kind" "-")
The lion is nice.
("lion" "is" "nice" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is young.
("lion" "is" "young" "+")
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
The rabbit is not green.
("rabbit" "is" "green" "-")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If the lion likes the rabbit and the rabbit is not nice then the rabbit likes the lion.
((("lion" "likes" "rabbit" "+") ("rabbit" "is" "nice" "~")) -> ("rabbit" "likes" "lion" "+"))
All kind things are not green.
((("something" "is" "kind" "+")) -> ("something" "is" "green" "-"))
If something likes the rabbit then the rabbit is not young.
((("something" "likes" "rabbit" "+")) -> ("rabbit" "is" "young" "-"))
If the lion is not nice then the lion needs the rabbit.
((("lion" "is" "nice" "~")) -> ("lion" "needs" "rabbit" "+"))
If something visits the rabbit then it visits the lion.
((("something" "visits" "rabbit" "+")) -> ("something" "visits" "lion" "+"))
If something is young then it likes the lion.
((("something" "is" "young" "+")) -> ("something" "likes" "lion" "+"))
The lion is young.
True
1
proof
[(triple5)]
("lion" "is" "young" "+")
triple5
The rabbit does not visit the lion.
False
1
inv-proof
[(triple15)]
("rabbit" "visits" "lion" "-")
triple15
The lion does not visit the lion.
Unknown
inv-rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "visits" "lion" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
@0: The lion does not visit the rabbit.[(triple8)] The lion is nice.[(triple3)] The lion is not green.[(triple1)] The lion is not kind.[(triple2)] The lion is red.[(triple4)] The lion is young.[(triple5)] The lion likes the rabbit.[(triple6)] The lion needs the rabbit.[(triple7)] The rabbit is kind.[(triple10)] The rabbit is nice.[(triple11)] The rabbit is not green.[(triple9 OR ((triple10) -> rule2))] The rabbit is red.[(triple12)] The rabbit likes the lion.[(triple13)] The rabbit needs the lion.[(triple14)] The rabbit visits the lion.[(triple15)] @1: The lion likes the lion.[(((triple5) -> rule6))] The rabbit is not young.[(((triple6) -> rule3))]
The lion does not visit the rabbit.
("lion" "visits" "rabbit" "-")
triple8
The lion is nice.
("lion" "is" "nice" "+")
triple3
The lion is not green.
("lion" "is" "green" "-")
triple1
The lion is not kind.
("lion" "is" "kind" "-")
triple2
The lion is red.
("lion" "is" "red" "+")
triple4
The lion is young.
("lion" "is" "young" "+")
triple5
The lion likes the rabbit.
("lion" "likes" "rabbit" "+")
triple6
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple7
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple10
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple11
The rabbit is not green.
("rabbit" "is" "green" "-")
triple9
((triple10) -> (rule2 % int1))
The rabbit is not green.
("rabbit" "is" "green" "-")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The rabbit likes the lion.
("rabbit" "likes" "lion" "+")
triple13
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple14
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple15
The lion likes the lion.
("lion" "likes" "lion" "+")
((triple5) -> (rule6 % int1))
The lion likes the lion.
("lion" "likes" "lion" "+")
int1
The rabbit is not young.
("rabbit" "is" "young" "-")
((triple6) -> (rule3 % int1))
The rabbit is not young.
("rabbit" "is" "young" "-")
int1