The bald eagle does not eat the rabbit. The bald eagle eats the tiger. The bald eagle is red. The bald eagle is rough. The bald eagle likes the rabbit. The bald eagle likes the tiger. The bald eagle does not see the rabbit. The bald eagle sees the tiger. The rabbit eats the tiger. The rabbit sees the bald eagle. The tiger eats the rabbit. The tiger is not blue. The tiger is red. The tiger likes the bald eagle. The tiger does not see the bald eagle. The tiger sees the rabbit. If something eats the tiger then it is rough.
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
The bald eagle is red.
("bald eagle" "is" "red" "+")
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
The bald eagle does not see the rabbit.
("bald eagle" "sees" "rabbit" "-")
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
The tiger is not blue.
("tiger" "is" "blue" "-")
The tiger is red.
("tiger" "is" "red" "+")
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
If something eats the tiger then it is rough.
((("something" "eats" "tiger" "+")) -> ("something" "is" "rough" "+"))
The bald eagle eats the tiger.
True
1
proof
[(triple2)]
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle does not see the tiger.
False
1
inv-proof
[(triple8)]
("bald eagle" "sees" "tiger" "-")
triple8
The rabbit is rough.
True
2
proof
[(((triple9) -> rule1))]
("rabbit" "is" "rough" "+")
((triple9) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The rabbit is not rough.
False
2
inv-proof
[(((triple9) -> rule1))]
("rabbit" "is" "rough" "-")
((triple9) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1
The tiger is not rough.
Unknown
inv-rconc
[@1: The tiger is rough.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("tiger" "is" "rough" "-")
The rabbit is red.
Unknown
random
[@0: The rabbit is red.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "red" "+")
The rabbit does not see the tiger.
Unknown
inv-random
[@0: The rabbit sees the tiger.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "tiger" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
@0: The bald eagle does not eat the rabbit.[(triple1)] The bald eagle does not see the rabbit.[(triple7)] The bald eagle eats the tiger.[(triple2)] The bald eagle is red.[(triple3)] The bald eagle is rough.[(triple4 OR ((triple2) -> rule1))] The bald eagle likes the rabbit.[(triple5)] The bald eagle likes the tiger.[(triple6)] The bald eagle sees the tiger.[(triple8)] The rabbit eats the tiger.[(triple9)] The rabbit sees the bald eagle.[(triple10)] The tiger does not see the bald eagle.[(triple15)] The tiger eats the rabbit.[(triple11)] The tiger is not blue.[(triple12)] The tiger is red.[(triple13)] The tiger likes the bald eagle.[(triple14)] The tiger sees the rabbit.[(triple16)] @1: The rabbit is rough.[(((triple9) -> rule1))]
The bald eagle does not eat the rabbit.
("bald eagle" "eats" "rabbit" "-")
triple1
The bald eagle does not see the rabbit.
("bald eagle" "sees" "rabbit" "-")
triple7
The bald eagle eats the tiger.
("bald eagle" "eats" "tiger" "+")
triple2
The bald eagle is red.
("bald eagle" "is" "red" "+")
triple3
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
triple4
((triple2) -> (rule1 % int1))
The bald eagle is rough.
("bald eagle" "is" "rough" "+")
int1
The bald eagle likes the rabbit.
("bald eagle" "likes" "rabbit" "+")
triple5
The bald eagle likes the tiger.
("bald eagle" "likes" "tiger" "+")
triple6
The bald eagle sees the tiger.
("bald eagle" "sees" "tiger" "+")
triple8
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
triple9
The rabbit sees the bald eagle.
("rabbit" "sees" "bald eagle" "+")
triple10
The tiger does not see the bald eagle.
("tiger" "sees" "bald eagle" "-")
triple15
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple11
The tiger is not blue.
("tiger" "is" "blue" "-")
triple12
The tiger is red.
("tiger" "is" "red" "+")
triple13
The tiger likes the bald eagle.
("tiger" "likes" "bald eagle" "+")
triple14
The tiger sees the rabbit.
("tiger" "sees" "rabbit" "+")
triple16
The rabbit is rough.
("rabbit" "is" "rough" "+")
((triple9) -> (rule1 % int1))
The rabbit is rough.
("rabbit" "is" "rough" "+")
int1