The bald eagle chases the rabbit. The bear chases the cat. The bear visits the bald eagle. The bear visits the cat. The cat chases the rabbit. The cat eats the rabbit. The cat visits the rabbit. The rabbit eats the bald eagle. The rabbit eats the cat. The rabbit is round. The rabbit visits the bear. The rabbit visits the cat. If someone is round and they chase the cat then they are nice. If someone eats the rabbit then the rabbit chases the cat. If someone visits the rabbit then the rabbit eats the cat.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If someone is round and they chase the cat then they are nice.
((("someone" "is" "round" "+") ("someone" "chases" "cat" "+")) -> ("someone" "is" "nice" "+"))
If someone eats the rabbit then the rabbit chases the cat.
((("someone" "eats" "rabbit" "+")) -> ("rabbit" "chases" "cat" "+"))
If someone visits the rabbit then the rabbit eats the cat.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "eats" "cat" "+"))
The bear chases the cat.
True
1
proof
[(triple2)]
("bear" "chases" "cat" "+")
triple2
The bear does not visit the bald eagle.
False
1
inv-proof
[(triple3)]
("bear" "visits" "bald eagle" "-")
triple3
The rabbit chases the cat.
True
2
proof
[(((triple6) -> rule2))]
("rabbit" "chases" "cat" "+")
((triple6) -> (rule2 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit does not chase the cat.
False
2
inv-proof
[(((triple6) -> rule2))]
("rabbit" "chases" "cat" "-")
((triple6) -> (rule2 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit is nice.
True
4
proof
[(((triple10 ((triple6) -> rule2)) -> rule1))]
("rabbit" "is" "nice" "+")
((triple10 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int2
The rabbit is not nice.
False
4
inv-proof
[(((triple10 ((triple6) -> rule2)) -> rule1))]
("rabbit" "is" "nice" "-")
((triple10 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int2
The bear is not nice.
Unknown
inv-rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "nice" "-")
The cat is nice.
Unknown
rconc
[@1: The cat is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "nice" "+")
The bald eagle is not nice.
Unknown
inv-rconc
[@1: The bald eagle is nice.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "nice" "-")
The rabbit is big.
Unknown
random
[@0: The rabbit is big.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "big" "+")
The bear does not eat the cat.
Unknown
inv-random
[@0: The bear eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "cat" "-")
The cat chases the cat.
Unknown
random
[@0: The cat chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "cat" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bear chases the cat.[(triple2)] The bear visits the bald eagle.[(triple3)] The bear visits the cat.[(triple4)] The cat chases the rabbit.[(triple5)] The cat eats the rabbit.[(triple6)] The cat visits the rabbit.[(triple7)] The rabbit eats the bald eagle.[(triple8)] The rabbit eats the cat.[(triple9 OR ((triple7) -> rule3))] The rabbit is round.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The rabbit chases the cat.[(((triple6) -> rule2))] @2: The rabbit is nice.[(((triple10 ((triple6) -> rule2)) -> rule1))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bear chases the cat.
("bear" "chases" "cat" "+")
triple2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple5
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple6
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple7
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple8
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple9
((triple7) -> (rule3 % int1))
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
triple10
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple11
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple12
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
((triple6) -> (rule2 % int1))
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
((triple10 ((triple6) -> (rule2 % int2))) -> (rule1 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
int2