The bald eagle chases the rabbit. The bald eagle likes the rabbit. The rabbit is nice. The rabbit is rough. The rabbit is round. The rabbit likes the bald eagle. The rabbit sees the bald eagle. If something is round then it is red. If something is red and it likes the bald eagle then it is young.
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit is rough.
("rabbit" "is" "rough" "+")
The rabbit is round.
("rabbit" "is" "round" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
If something is round then it is red.
((("something" "is" "round" "+")) -> ("something" "is" "red" "+"))
If something is red and it likes the bald eagle then it is young.
((("something" "is" "red" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "is" "young" "+"))
The bald eagle likes the rabbit.
True
1
proof
[(triple2)]
("bald eagle" "likes" "rabbit" "+")
triple2
The rabbit does not like the bald eagle.
False
1
inv-proof
[(triple6)]
("rabbit" "likes" "bald eagle" "-")
triple6
The rabbit is red.
True
2
proof
[(((triple5) -> rule1))]
("rabbit" "is" "red" "+")
((triple5) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is not red.
False
2
inv-proof
[(((triple5) -> rule1))]
("rabbit" "is" "red" "-")
((triple5) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
True
4
proof
[(((((triple5) -> rule1) triple6) -> rule2))]
("rabbit" "is" "young" "+")
((((triple5) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The rabbit is not young.
False
4
inv-proof
[(((((triple5) -> rule1) triple6) -> rule2))]
("rabbit" "is" "young" "-")
((((triple5) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2
The bald eagle is not young.
Unknown
inv-rconc
[@1: The bald eagle is young.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("bald eagle" "is" "young" "-")
The bald eagle is red.
Unknown
rconc
[@1: The bald eagle is red.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle is not rough.
Unknown
inv-random
[@0: The bald eagle is rough.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "rough" "-")
The bald eagle is round.
Unknown
random
[@0: The bald eagle is round.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "round" "+")
The bald eagle does not like the bald eagle.
Unknown
inv-random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "-")
The bald eagle chases the bald eagle.
Unknown
random
[@0: The bald eagle chases the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "bald eagle" "+")
@0: The bald eagle chases the rabbit.[(triple1)] The bald eagle likes the rabbit.[(triple2)] The rabbit is nice.[(triple3)] The rabbit is rough.[(triple4)] The rabbit is round.[(triple5)] The rabbit likes the bald eagle.[(triple6)] The rabbit sees the bald eagle.[(triple7)] @1: The rabbit is red.[(((triple5) -> rule1))] @2: The rabbit is young.[(((((triple5) -> rule1) triple6) -> rule2))]
The bald eagle chases the rabbit.
("bald eagle" "chases" "rabbit" "+")
triple1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple2
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple3
The rabbit is rough.
("rabbit" "is" "rough" "+")
triple4
The rabbit is round.
("rabbit" "is" "round" "+")
triple5
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple6
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple7
The rabbit is red.
("rabbit" "is" "red" "+")
((triple5) -> (rule1 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The rabbit is young.
("rabbit" "is" "young" "+")
((((triple5) -> (rule1 % int2)) triple6) -> (rule2 % int1))
The rabbit is young.
("rabbit" "is" "young" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
int2