The bald eagle sees the rabbit. The bear eats the cat. The bear visits the bald eagle. The bear visits the cat. The cat sees the bald eagle. The rabbit eats the bald eagle. The rabbit eats the cat. The rabbit is rough. The rabbit sees the cat. The rabbit visits the bear. If someone sees the rabbit then they see the bear. If someone is big then they see the bear. If someone is big then they see the bear. If the bald eagle does not visit the bear then the bear is young. Red people are not young. If someone sees the bear then they are red. If someone visits the cat then the cat visits the bear. If the rabbit sees the bear and the rabbit does not eat the cat then the bear visits the bald eagle.
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bear eats the cat.
("bear" "eats" "cat" "+")
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
If someone sees the rabbit then they see the bear.
((("someone" "sees" "rabbit" "+")) -> ("someone" "sees" "bear" "+"))
If someone is big then they see the bear.
((("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
If someone is big then they see the bear.
((("someone" "is" "big" "+")) -> ("someone" "sees" "bear" "+"))
If the bald eagle does not visit the bear then the bear is young.
((("bald eagle" "visits" "bear" "~")) -> ("bear" "is" "young" "+"))
Red people are not young.
((("someone" "is" "red" "+")) -> ("someone" "is" "young" "-"))
If someone sees the bear then they are red.
((("someone" "sees" "bear" "+")) -> ("someone" "is" "red" "+"))
If someone visits the cat then the cat visits the bear.
((("someone" "visits" "cat" "+")) -> ("cat" "visits" "bear" "+"))
If the rabbit sees the bear and the rabbit does not eat the cat then the bear visits the bald eagle.
((("rabbit" "sees" "bear" "+") ("rabbit" "eats" "cat" "~")) -> ("bear" "visits" "bald eagle" "+"))
The rabbit eats the cat.
True
1
proof
[(triple7)]
("rabbit" "eats" "cat" "+")
triple7
The cat does not see the bald eagle.
False
1
inv-proof
[(triple5)]
("cat" "sees" "bald eagle" "-")
triple5
The bald eagle sees the bear.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "bear" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The cat does not visit the bear.
False
2
inv-proof
[(((triple4) -> rule7))]
("cat" "visits" "bear" "-")
((triple4) -> (rule7 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bald eagle is red.
True
3
proof
[(((((triple1) -> rule1)) -> rule6))]
("bald eagle" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bald eagle is not red.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule6))]
("bald eagle" "is" "red" "-")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bald eagle is not young.
True
4
proof
[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]
("bald eagle" "is" "young" "-")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The bald eagle is young.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]
("bald eagle" "is" "young" "+")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3
The rabbit does not see the bear.
Unknown
inv-rconc
[@1: The rabbit sees the bear.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "sees" "bear" "-")
The bear is young.
Unknown
rconc
[@1: The bear is young.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "is" "young" "+")
The cat is not red.
Unknown
inv-rconc
[@2: The cat is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("cat" "is" "red" "-")
The rabbit is red.
Unknown
rconc
[@2: The rabbit is red.[CWA. Example of deepest failure = (rule6 <- rule1 <- FAIL)]]
("rabbit" "is" "red" "+")
The bear does not visit the rabbit.
Unknown
inv-random
[@0: The bear visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "visits" "rabbit" "-")
The bald eagle visits the rabbit.
Unknown
random
[@0: The bald eagle visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "rabbit" "+")
The rabbit is not young.
Unknown
inv-random
[@0: The rabbit is young.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "young" "-")
The bear eats the rabbit.
Unknown
random
[@0: The bear eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "rabbit" "+")
@0: The bald eagle sees the rabbit.[(triple1)] The bear eats the cat.[(triple2)] The bear visits the bald eagle.[(triple3)] The bear visits the cat.[(triple4)] The cat sees the bald eagle.[(triple5)] The rabbit eats the bald eagle.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit is rough.[(triple8)] The rabbit sees the cat.[(triple9)] The rabbit visits the bear.[(triple10)] @1: The bald eagle sees the bear.[(((triple1) -> rule1))] The cat visits the bear.[(((triple4) -> rule7))] @2: The bald eagle is red.[(((((triple1) -> rule1)) -> rule6))] @3: The bald eagle is not young.[(((((((triple1) -> rule1)) -> rule6)) -> rule5))]
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple1
The bear eats the cat.
("bear" "eats" "cat" "+")
triple2
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple5
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple6
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple7
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple8
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple9
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple10
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int1
The cat visits the bear.
("cat" "visits" "bear" "+")
((triple4) -> (rule7 % int1))
The cat visits the bear.
("cat" "visits" "bear" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
((((triple1) -> (rule1 % int2))) -> (rule6 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int2
The bald eagle is not young.
("bald eagle" "is" "young" "-")
((((((triple1) -> (rule1 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The bald eagle is not young.
("bald eagle" "is" "young" "-")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
int3