The dog needs the lion. The dog needs the rabbit. The dog visits the lion. The dog visits the rabbit. The lion does not eat the mouse. The lion does not visit the mouse. The mouse does not eat the dog. The mouse is big. The mouse is kind. The mouse needs the lion. The mouse needs the rabbit. The rabbit eats the dog. The rabbit eats the mouse. The rabbit is red. The rabbit needs the lion. The rabbit visits the mouse. If someone is kind and they eat the lion then they do not visit the dog. If someone needs the mouse then the mouse is nice. If the lion eats the rabbit then the lion eats the dog. If the rabbit needs the mouse and the mouse needs the dog then the rabbit eats the lion. If someone needs the rabbit then the rabbit is kind. If the dog does not need the mouse then the mouse is young. If someone visits the mouse then they need the lion. If someone eats the lion and they eat the dog then they are young.
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is kind.
("mouse" "is" "kind" "+")
The mouse needs the lion.
("mouse" "needs" "lion" "+")
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone is kind and they eat the lion then they do not visit the dog.
((("someone" "is" "kind" "+") ("someone" "eats" "lion" "+")) -> ("someone" "visits" "dog" "-"))
If someone needs the mouse then the mouse is nice.
((("someone" "needs" "mouse" "+")) -> ("mouse" "is" "nice" "+"))
If the lion eats the rabbit then the lion eats the dog.
((("lion" "eats" "rabbit" "+")) -> ("lion" "eats" "dog" "+"))
If the rabbit needs the mouse and the mouse needs the dog then the rabbit eats the lion.
((("rabbit" "needs" "mouse" "+") ("mouse" "needs" "dog" "+")) -> ("rabbit" "eats" "lion" "+"))
If someone needs the rabbit then the rabbit is kind.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If the dog does not need the mouse then the mouse is young.
((("dog" "needs" "mouse" "~")) -> ("mouse" "is" "young" "+"))
If someone visits the mouse then they need the lion.
((("someone" "visits" "mouse" "+")) -> ("someone" "needs" "lion" "+"))
If someone eats the lion and they eat the dog then they are young.
((("someone" "eats" "lion" "+") ("someone" "eats" "dog" "+")) -> ("someone" "is" "young" "+"))
The rabbit eats the mouse.
True
1
proof
[(triple13)]
("rabbit" "eats" "mouse" "+")
triple13
The dog does not need the lion.
False
1
inv-proof
[(triple1)]
("dog" "needs" "lion" "-")
triple1
The rabbit is kind.
True
2
proof
[(((triple11) -> rule5) OR ((triple2) -> rule5))]
("rabbit" "is" "kind" "+")
((triple11) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple2) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple11) -> rule5) OR ((triple2) -> rule5))]
("rabbit" "is" "kind" "-")
((triple11) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple2) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The lion is not young.
Unknown
inv-rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("lion" "is" "young" "-")
The rabbit eats the lion.
Unknown
rconc
[@1: The rabbit eats the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "lion" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The dog eats the lion.
Unknown
random
[@0: The dog eats the lion.[CWA. Example of deepest failure = (FAIL)]]
("dog" "eats" "lion" "+")
@0: The dog needs the lion.[(triple1)] The dog needs the rabbit.[(triple2)] The dog visits the lion.[(triple3)] The dog visits the rabbit.[(triple4)] The lion does not eat the mouse.[(triple5)] The lion does not visit the mouse.[(triple6)] The mouse does not eat the dog.[(triple7)] The mouse is big.[(triple8)] The mouse is kind.[(triple9)] The mouse needs the lion.[(triple10)] The mouse needs the rabbit.[(triple11)] The rabbit eats the dog.[(triple12)] The rabbit eats the mouse.[(triple13)] The rabbit is red.[(triple14)] The rabbit needs the lion.[(triple15 OR ((triple16) -> rule7))] The rabbit visits the mouse.[(triple16)] @1: The rabbit is kind.[(((triple11) -> rule5) OR ((triple2) -> rule5))]
The dog needs the lion.
("dog" "needs" "lion" "+")
triple1
The dog needs the rabbit.
("dog" "needs" "rabbit" "+")
triple2
The dog visits the lion.
("dog" "visits" "lion" "+")
triple3
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple4
The lion does not eat the mouse.
("lion" "eats" "mouse" "-")
triple5
The lion does not visit the mouse.
("lion" "visits" "mouse" "-")
triple6
The mouse does not eat the dog.
("mouse" "eats" "dog" "-")
triple7
The mouse is big.
("mouse" "is" "big" "+")
triple8
The mouse is kind.
("mouse" "is" "kind" "+")
triple9
The mouse needs the lion.
("mouse" "needs" "lion" "+")
triple10
The mouse needs the rabbit.
("mouse" "needs" "rabbit" "+")
triple11
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple12
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple13
The rabbit is red.
("rabbit" "is" "red" "+")
triple14
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple15
((triple16) -> (rule7 % int1))
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
int1
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple16
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple11) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
((triple2) -> (rule5 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1