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