The cat is green. The cat needs the lion. The cat visits the dog. The cat visits the lion. The dog is kind. The dog is nice. The lion eats the cat. The lion eats the rabbit. The lion needs the cat. The lion visits the rabbit. The rabbit is kind. The rabbit is young. The rabbit needs the lion. The rabbit visits the cat. The rabbit visits the dog. If something eats the cat then it is young. If something needs the rabbit and it is nice then it is young. If something needs the cat and it is green then it needs the lion.
The cat is green.
("cat" "is" "green" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog is nice.
("dog" "is" "nice" "+")
The lion eats the cat.
("lion" "eats" "cat" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
If something eats the cat then it is young.
((("something" "eats" "cat" "+")) -> ("something" "is" "young" "+"))
If something needs the rabbit and it is nice then it is young.
((("something" "needs" "rabbit" "+") ("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something needs the cat and it is green then it needs the lion.
((("something" "needs" "cat" "+") ("something" "is" "green" "+")) -> ("something" "needs" "lion" "+"))
The cat is green.
True
1
proof
[(triple1)]
("cat" "is" "green" "+")
triple1
The lion does not eat the cat.
False
1
inv-proof
[(triple7)]
("lion" "eats" "cat" "-")
triple7
The lion is young.
True
2
proof
[(((triple7) -> rule1))]
("lion" "is" "young" "+")
((triple7) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The lion is not young.
False
2
inv-proof
[(((triple7) -> rule1))]
("lion" "is" "young" "-")
((triple7) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "is" "young" "-")
The cat is young.
Unknown
rconc
[@1: The cat is young.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "young" "+")
The rabbit does not visit the lion.
Unknown
inv-random
[@0: The rabbit visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "lion" "-")
The rabbit eats the rabbit.
Unknown
random
[@0: The rabbit eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "eats" "rabbit" "+")
@0: The cat is green.[(triple1)] The cat needs the lion.[(triple2)] The cat visits the dog.[(triple3)] The cat visits the lion.[(triple4)] The dog is kind.[(triple5)] The dog is nice.[(triple6)] The lion eats the cat.[(triple7)] The lion eats the rabbit.[(triple8)] The lion needs the cat.[(triple9)] The lion visits the rabbit.[(triple10)] The rabbit is kind.[(triple11)] The rabbit is young.[(triple12)] The rabbit needs the lion.[(triple13)] The rabbit visits the cat.[(triple14)] The rabbit visits the dog.[(triple15)] @1: The lion is young.[(((triple7) -> rule1))]
The cat is green.
("cat" "is" "green" "+")
triple1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple2
The cat visits the dog.
("cat" "visits" "dog" "+")
triple3
The cat visits the lion.
("cat" "visits" "lion" "+")
triple4
The dog is kind.
("dog" "is" "kind" "+")
triple5
The dog is nice.
("dog" "is" "nice" "+")
triple6
The lion eats the cat.
("lion" "eats" "cat" "+")
triple7
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple8
The lion needs the cat.
("lion" "needs" "cat" "+")
triple9
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
triple10
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple11
The rabbit is young.
("rabbit" "is" "young" "+")
triple12
The rabbit needs the lion.
("rabbit" "needs" "lion" "+")
triple13
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple14
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
triple15
The lion is young.
("lion" "is" "young" "+")
((triple7) -> (rule1 % int1))
The lion is young.
("lion" "is" "young" "+")
int1