The bald eagle is green. The bald eagle is round. The bald eagle needs the rabbit. The bald eagle sees the rabbit. The lion chases the bald eagle. The lion needs the bald eagle. The lion sees the bald eagle. The lion sees the rabbit. The rabbit chases the bald eagle. The rabbit does not chase the lion. The rabbit is green. The rabbit does not need the bald eagle. The rabbit does not need the lion. The rabbit sees the bald eagle. The rabbit sees the lion. If something is young and it sees the lion then the lion is not nice. If something sees the lion and the lion is round then the lion does not chase the bald eagle. If something sees the lion then it chases the rabbit. If something chases the rabbit then it is not nice. If something chases the lion then the lion chases the rabbit. If something needs the lion then it does not chase the bald eagle. If something chases the bald eagle then the bald eagle is round. If something is round and red then it does not chase the lion.
The bald eagle is green.
("bald eagle" "is" "green" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
The rabbit is green.
("rabbit" "is" "green" "+")
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
If something is young and it sees the lion then the lion is not nice.
((("something" "is" "young" "+") ("something" "sees" "lion" "+")) -> ("lion" "is" "nice" "-"))
If something sees the lion and the lion is round then the lion does not chase the bald eagle.
((("something" "sees" "lion" "+") ("lion" "is" "round" "+")) -> ("lion" "chases" "bald eagle" "-"))
If something sees the lion then it chases the rabbit.
((("something" "sees" "lion" "+")) -> ("something" "chases" "rabbit" "+"))
If something chases the rabbit then it is not nice.
((("something" "chases" "rabbit" "+")) -> ("something" "is" "nice" "-"))
If something chases the lion then the lion chases the rabbit.
((("something" "chases" "lion" "+")) -> ("lion" "chases" "rabbit" "+"))
If something needs the lion then it does not chase the bald eagle.
((("something" "needs" "lion" "+")) -> ("something" "chases" "bald eagle" "-"))
If something chases the bald eagle then the bald eagle is round.
((("something" "chases" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If something is round and red then it does not chase the lion.
((("something" "is" "round" "+") ("something" "is" "red" "+")) -> ("something" "chases" "lion" "-"))
The bald eagle needs the rabbit.
True
1
proof
[(triple3)]
("bald eagle" "needs" "rabbit" "+")
triple3
The rabbit needs the lion.
False
1
inv-proof
[(triple13)]
("rabbit" "needs" "lion" "+")
triple13
The rabbit chases the rabbit.
True
2
proof
[(((triple15) -> rule3))]
("rabbit" "chases" "rabbit" "+")
((triple15) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit does not chase the rabbit.
False
2
inv-proof
[(((triple15) -> rule3))]
("rabbit" "chases" "rabbit" "-")
((triple15) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is not nice.
True
3
proof
[(((((triple15) -> rule3)) -> rule4))]
("rabbit" "is" "nice" "-")
((((triple15) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The rabbit is nice.
False
3
inv-proof
[(((((triple15) -> rule3)) -> rule4))]
("rabbit" "is" "nice" "+")
((((triple15) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2
The bald eagle does not chase the rabbit.
Unknown
inv-rconc
[@1: The bald eagle chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bald eagle" "chases" "rabbit" "-")
The lion chases the rabbit.
Unknown
rconc
[@1: The lion chases the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("lion" "chases" "rabbit" "+")
The bald eagle is not red.
Unknown
inv-random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "-")
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" "+")
The bald eagle does not see the lion.
Unknown
inv-random
[@0: The bald eagle sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "lion" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
@0: The bald eagle is green.[(triple1)] The bald eagle is round.[(triple2 OR ((triple5) -> rule7) OR ((triple9) -> rule7))] The bald eagle needs the rabbit.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The lion chases the bald eagle.[(triple5)] The lion needs the bald eagle.[(triple6)] The lion sees the bald eagle.[(triple7)] The lion sees the rabbit.[(triple8)] The rabbit chases the bald eagle.[(triple9)] The rabbit does not chase the lion.[(triple10)] The rabbit does not need the bald eagle.[(triple12)] The rabbit does not need the lion.[(triple13)] The rabbit is green.[(triple11)] The rabbit sees the bald eagle.[(triple14)] The rabbit sees the lion.[(triple15)] @1: The rabbit chases the rabbit.[(((triple15) -> rule3))] @2: The rabbit is not nice.[(((((triple15) -> rule3)) -> rule4))]
The bald eagle is green.
("bald eagle" "is" "green" "+")
triple1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple2
((triple5) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
((triple9) -> (rule7 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The bald eagle needs the rabbit.
("bald eagle" "needs" "rabbit" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
triple5
The lion needs the bald eagle.
("lion" "needs" "bald eagle" "+")
triple6
The lion sees the bald eagle.
("lion" "sees" "bald eagle" "+")
triple7
The lion sees the rabbit.
("lion" "sees" "rabbit" "+")
triple8
The rabbit chases the bald eagle.
("rabbit" "chases" "bald eagle" "+")
triple9
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
triple10
The rabbit does not need the bald eagle.
("rabbit" "needs" "bald eagle" "-")
triple12
The rabbit does not need the lion.
("rabbit" "needs" "lion" "-")
triple13
The rabbit is green.
("rabbit" "is" "green" "+")
triple11
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple14
The rabbit sees the lion.
("rabbit" "sees" "lion" "+")
triple15
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
((triple15) -> (rule3 % int1))
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int1
The rabbit is not nice.
("rabbit" "is" "nice" "-")
((((triple15) -> (rule3 % int2))) -> (rule4 % int1))
The rabbit is not nice.
("rabbit" "is" "nice" "-")
int1
The rabbit chases the rabbit.
("rabbit" "chases" "rabbit" "+")
int2