The bald eagle is young. The rabbit eats the squirrel. The rabbit sees the bald eagle. The rabbit visits the bald eagle. The squirrel eats the rabbit. The squirrel is blue. The squirrel does not see the bald eagle. If someone is young then they see the rabbit. If someone sees the rabbit then the rabbit eats the bald eagle. If someone eats the bald eagle then they see the squirrel. If someone eats the rabbit and they are round then the rabbit is nice. If someone visits the squirrel and the squirrel is nice then the squirrel does not eat the rabbit. If the rabbit eats the squirrel and the squirrel is nice then the rabbit visits the bald eagle. If the rabbit visits the squirrel and the squirrel does not see the rabbit then the squirrel is nice. If someone sees the rabbit and they visit the squirrel then the squirrel is nice.
The bald eagle is young.
("bald eagle" "is" "young" "+")
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
The squirrel is blue.
("squirrel" "is" "blue" "+")
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
If someone is young then they see the rabbit.
((("someone" "is" "young" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone sees the rabbit then the rabbit eats the bald eagle.
((("someone" "sees" "rabbit" "+")) -> ("rabbit" "eats" "bald eagle" "+"))
If someone eats the bald eagle then they see the squirrel.
((("someone" "eats" "bald eagle" "+")) -> ("someone" "sees" "squirrel" "+"))
If someone eats the rabbit and they are round then the rabbit is nice.
((("someone" "eats" "rabbit" "+") ("someone" "is" "round" "+")) -> ("rabbit" "is" "nice" "+"))
If someone visits the squirrel and the squirrel is nice then the squirrel does not eat the rabbit.
((("someone" "visits" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("squirrel" "eats" "rabbit" "-"))
If the rabbit eats the squirrel and the squirrel is nice then the rabbit visits the bald eagle.
((("rabbit" "eats" "squirrel" "+") ("squirrel" "is" "nice" "+")) -> ("rabbit" "visits" "bald eagle" "+"))
If the rabbit visits the squirrel and the squirrel does not see the rabbit then the squirrel is nice.
((("rabbit" "visits" "squirrel" "+") ("squirrel" "sees" "rabbit" "~")) -> ("squirrel" "is" "nice" "+"))
If someone sees the rabbit and they visit the squirrel then the squirrel is nice.
((("someone" "sees" "rabbit" "+") ("someone" "visits" "squirrel" "+")) -> ("squirrel" "is" "nice" "+"))
The rabbit visits the bald eagle.
True
1
proof
[(triple4)]
("rabbit" "visits" "bald eagle" "+")
triple4
The squirrel sees the bald eagle.
False
1
inv-proof
[(triple7)]
("squirrel" "sees" "bald eagle" "+")
triple7
The bald eagle sees the rabbit.
True
2
proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "rabbit" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The bald eagle does not see the rabbit.
False
2
inv-proof
[(((triple1) -> rule1))]
("bald eagle" "sees" "rabbit" "-")
((triple1) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The rabbit eats the bald eagle.
True
3
proof
[(((((triple1) -> rule1)) -> rule2))]
("rabbit" "eats" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The rabbit does not eat the bald eagle.
False
3
inv-proof
[(((((triple1) -> rule1)) -> rule2))]
("rabbit" "eats" "bald eagle" "-")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The rabbit sees the squirrel.
True
4
proof
[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]
("rabbit" "sees" "squirrel" "+")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The rabbit does not see the squirrel.
False
4
inv-proof
[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]
("rabbit" "sees" "squirrel" "-")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3
The squirrel does not see the squirrel.
Unknown
inv-rconc
[@1: The squirrel sees the squirrel.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("squirrel" "sees" "squirrel" "-")
The squirrel is nice.
Unknown
rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("squirrel" "is" "nice" "+")
The squirrel does not see the rabbit.
Unknown
inv-rconc
[@1: The squirrel sees the rabbit.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("squirrel" "sees" "rabbit" "-")
The rabbit is nice.
Unknown
rconc
[@1: The rabbit is nice.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "nice" "+")
The rabbit is not green.
Unknown
inv-random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "-")
The bald eagle eats the rabbit.
Unknown
random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The squirrel is not young.
Unknown
inv-random
[@0: The squirrel is young.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "young" "-")
The squirrel visits the rabbit.
Unknown
random
[@0: The squirrel visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "visits" "rabbit" "+")
@0: The bald eagle is young.[(triple1)] The rabbit eats the squirrel.[(triple2)] The rabbit sees the bald eagle.[(triple3)] The rabbit visits the bald eagle.[(triple4)] The squirrel does not see the bald eagle.[(triple7)] The squirrel eats the rabbit.[(triple5)] The squirrel is blue.[(triple6)] @1: The bald eagle sees the rabbit.[(((triple1) -> rule1))] @2: The rabbit eats the bald eagle.[(((((triple1) -> rule1)) -> rule2))] @3: The rabbit sees the squirrel.[(((((((triple1) -> rule1)) -> rule2)) -> rule3))]
The bald eagle is young.
("bald eagle" "is" "young" "+")
triple1
The rabbit eats the squirrel.
("rabbit" "eats" "squirrel" "+")
triple2
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple4
The squirrel does not see the bald eagle.
("squirrel" "sees" "bald eagle" "-")
triple7
The squirrel eats the rabbit.
("squirrel" "eats" "rabbit" "+")
triple5
The squirrel is blue.
("squirrel" "is" "blue" "+")
triple6
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
((triple1) -> (rule1 % int1))
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int1
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int2
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
((((((triple1) -> (rule1 % int3))) -> (rule2 % int2))) -> (rule3 % int1))
The rabbit sees the squirrel.
("rabbit" "sees" "squirrel" "+")
int1
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
int2
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
int3