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