The bald eagle sees the bear. The bear is green. The bear sees the cat. The bear visits the cat. The cat chases the bald eagle. The cat is cold. The cat sees the bald eagle. The cat sees the rabbit. The cat visits the rabbit. The rabbit is nice. The rabbit visits the bear. The rabbit visits the cat. If something visits the cat then the cat sees the bear. If the cat is rough and the cat sees the bear then the cat chases the rabbit. If something is green and round then it is cold. If something is cold and it visits the bald eagle then it sees the bear. If something visits the bear and the bear chases the rabbit then the bear visits the bald eagle. If something is green then it visits the cat.
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
The bear is green.
("bear" "is" "green" "+")
The bear sees the cat.
("bear" "sees" "cat" "+")
The bear visits the cat.
("bear" "visits" "cat" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something visits the cat then the cat sees the bear.
((("something" "visits" "cat" "+")) -> ("cat" "sees" "bear" "+"))
If the cat is rough and the cat sees the bear then the cat chases the rabbit.
((("cat" "is" "rough" "+") ("cat" "sees" "bear" "+")) -> ("cat" "chases" "rabbit" "+"))
If something is green and round then it is cold.
((("something" "is" "green" "+") ("something" "is" "round" "+")) -> ("something" "is" "cold" "+"))
If something is cold and it visits the bald eagle then it sees the bear.
((("something" "is" "cold" "+") ("something" "visits" "bald eagle" "+")) -> ("something" "sees" "bear" "+"))
If something visits the bear and the bear chases the rabbit then the bear visits the bald eagle.
((("something" "visits" "bear" "+") ("bear" "chases" "rabbit" "+")) -> ("bear" "visits" "bald eagle" "+"))
If something is green then it visits the cat.
((("something" "is" "green" "+")) -> ("something" "visits" "cat" "+"))
The bear is green.
True
1
proof
[(triple2)]
("bear" "is" "green" "+")
triple2
The bear does not see the cat.
False
1
inv-proof
[(triple3)]
("bear" "sees" "cat" "-")
triple3
The bald eagle does not visit the cat.
Unknown
inv-rconc
[@1: The bald eagle visits the cat.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "visits" "cat" "-")
The rabbit is green.
Unknown
random
[@0: The rabbit is green.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "green" "+")
@0: The bald eagle sees the bear.[(triple1)] The bear is green.[(triple2)] The bear sees the cat.[(triple3)] The bear visits the cat.[(triple4 OR ((triple2) -> rule6))] The cat chases the bald eagle.[(triple5)] The cat is cold.[(triple6)] The cat sees the bald eagle.[(triple7)] The cat sees the rabbit.[(triple8)] The cat visits the rabbit.[(triple9)] The rabbit is nice.[(triple10)] The rabbit visits the bear.[(triple11)] The rabbit visits the cat.[(triple12)] @1: The cat sees the bear.[(((triple12) -> rule1) OR ((triple4) -> rule1) OR ((((triple2) -> rule6)) -> rule1))]
The bald eagle sees the bear.
("bald eagle" "sees" "bear" "+")
triple1
The bear is green.
("bear" "is" "green" "+")
triple2
The bear sees the cat.
("bear" "sees" "cat" "+")
triple3
The bear visits the cat.
("bear" "visits" "cat" "+")
triple4
((triple2) -> (rule6 % int1))
The bear visits the cat.
("bear" "visits" "cat" "+")
int1
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple5
The cat is cold.
("cat" "is" "cold" "+")
triple6
The cat sees the bald eagle.
("cat" "sees" "bald eagle" "+")
triple7
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple8
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit visits the bear.
("rabbit" "visits" "bear" "+")
triple11
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple12
The cat sees the bear.
("cat" "sees" "bear" "+")
((triple12) -> (rule1 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
((triple4) -> (rule1 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
((((triple2) -> (rule6 % int2))) -> (rule1 % int1))
The cat sees the bear.
("cat" "sees" "bear" "+")
int1
The bear visits the cat.
("bear" "visits" "cat" "+")
int2