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