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