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