The bald eagle eats the rabbit. The bald eagle is nice. The bald eagle is round. The bald eagle sees the rabbit. The bear eats the tiger. The bear sees the tiger. The rabbit eats the bear. The rabbit is cold. The tiger eats the bear. The tiger is green. The tiger is round. If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold. If something is round then it is nice. If something eats the rabbit and the rabbit visits the bald eagle then it is cold. If something is kind then it visits the bald eagle. If something is nice and cold then it visits the rabbit. If something eats the bear then it is round. Cold things are kind. If something eats the bald eagle then the bald eagle eats the rabbit.
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
The bald eagle is round.
("bald eagle" "is" "round" "+")
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
The bear eats the tiger.
("bear" "eats" "tiger" "+")
The bear sees the tiger.
("bear" "sees" "tiger" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is cold.
("rabbit" "is" "cold" "+")
The tiger eats the bear.
("tiger" "eats" "bear" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is round.
("tiger" "is" "round" "+")
If the tiger visits the bald eagle and the tiger is kind then the bald eagle is cold.
((("tiger" "visits" "bald eagle" "+") ("tiger" "is" "kind" "+")) -> ("bald eagle" "is" "cold" "+"))
If something is round then it is nice.
((("something" "is" "round" "+")) -> ("something" "is" "nice" "+"))
If something eats the rabbit and the rabbit visits the bald eagle then it is cold.
((("something" "eats" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("something" "is" "cold" "+"))
If something is kind then it visits the bald eagle.
((("something" "is" "kind" "+")) -> ("something" "visits" "bald eagle" "+"))
If something is nice and cold then it visits the rabbit.
((("something" "is" "nice" "+") ("something" "is" "cold" "+")) -> ("something" "visits" "rabbit" "+"))
If something eats the bear then it is round.
((("something" "eats" "bear" "+")) -> ("something" "is" "round" "+"))
Cold things are kind.
((("something" "is" "cold" "+")) -> ("something" "is" "kind" "+"))
If something eats the bald eagle then the bald eagle eats the rabbit.
((("something" "eats" "bald eagle" "+")) -> ("bald eagle" "eats" "rabbit" "+"))
The bear eats the tiger.
True
1
proof
[(triple5)]
("bear" "eats" "tiger" "+")
triple5
The tiger is not round.
False
1
inv-proof
[(triple11 OR ((triple9) -> rule6))]
("tiger" "is" "round" "-")
triple11
((triple9) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is nice.
True
2
proof
[(((triple11) -> rule2) OR ((((triple9) -> rule6)) -> rule2))]
("tiger" "is" "nice" "+")
((triple11) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The rabbit is not kind.
False
2
inv-proof
[(((triple8) -> rule7))]
("rabbit" "is" "kind" "-")
((triple8) -> (rule7 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit visits the bald eagle.
True
3
proof
[(((((triple8) -> rule7)) -> rule4))]
("rabbit" "visits" "bald eagle" "+")
((((triple8) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The rabbit does not visit the bald eagle.
False
3
inv-proof
[(((((triple8) -> rule7)) -> rule4))]
("rabbit" "visits" "bald eagle" "-")
((((triple8) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The bald eagle is cold.
True
5
proof
[(((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3))]
("bald eagle" "is" "cold" "+")
((triple1 ((((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The bald eagle is not cold.
False
5
inv-proof
[(((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3))]
("bald eagle" "is" "cold" "-")
((triple1 ((((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The bald eagle is kind.
True
6
proof
[(((((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3)) -> rule7))]
("bald eagle" "is" "kind" "+")
((((triple1 ((((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The bald eagle is not kind.
False
6
inv-proof
[(((((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3)) -> rule7))]
("bald eagle" "is" "kind" "-")
((((triple1 ((((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The bald eagle visits the bald eagle.
True
7
proof
[(((((((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3)) -> rule7)) -> rule4))]
("bald eagle" "visits" "bald eagle" "+")
((((((triple1 ((((triple8) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The bald eagle does not visit the bald eagle.
False
7
inv-proof
[(((((((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3)) -> rule7)) -> rule4))]
("bald eagle" "visits" "bald eagle" "-")
((((((triple1 ((((triple8) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5
The bear does not visit the rabbit.
Unknown
inv-rconc
[@2: The bear visits the rabbit.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("bear" "visits" "rabbit" "-")
The tiger visits the rabbit.
Unknown
rconc
[@2: The tiger visits the rabbit.[CWA. Example of deepest failure = (rule5 <- rule3 <- FAIL)]]
("tiger" "visits" "rabbit" "+")
The bear is not round.
Unknown
inv-rconc
[@1: The bear is round.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "is" "round" "-")
The bear is nice.
Unknown
rconc
[@2: The bear is nice.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("bear" "is" "nice" "+")
The bear is not kind.
Unknown
inv-rconc
[@2: The bear is kind.[CWA. Example of deepest failure = (rule7 <- rule3 <- FAIL)]]
("bear" "is" "kind" "-")
The bear is cold.
Unknown
rconc
[@1: The bear is cold.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "is" "cold" "+")
The bear does not see the bald eagle.
Unknown
inv-random
[@0: The bear sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bald eagle" "-")
The bald eagle sees the bald eagle.
Unknown
random
[@0: The bald eagle sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "sees" "bald eagle" "+")
The rabbit does not see the rabbit.
Unknown
inv-random
[@0: The rabbit sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "sees" "rabbit" "-")
The tiger sees the bald eagle.
Unknown
random
[@0: The tiger sees the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bald eagle" "+")
The bear does not see the rabbit.
Unknown
inv-random
[@0: The bear sees the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "rabbit" "-")
The tiger sees the bear.
Unknown
random
[@0: The tiger sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "sees" "bear" "+")
@0: The bald eagle eats the rabbit.[(triple1)] The bald eagle is nice.[(triple2 OR ((triple3) -> rule2))] The bald eagle is round.[(triple3)] The bald eagle sees the rabbit.[(triple4)] The bear eats the tiger.[(triple5)] The bear sees the tiger.[(triple6)] The rabbit eats the bear.[(triple7)] The rabbit is cold.[(triple8)] The tiger eats the bear.[(triple9)] The tiger is green.[(triple10)] The tiger is round.[(triple11 OR ((triple9) -> rule6))] @1: The rabbit is kind.[(((triple8) -> rule7))] The rabbit is round.[(((triple7) -> rule6))] The tiger is nice.[(((triple11) -> rule2) OR ((((triple9) -> rule6)) -> rule2))] @2: The rabbit is nice.[(((((triple7) -> rule6)) -> rule2))] The rabbit visits the bald eagle.[(((((triple8) -> rule7)) -> rule4))] @3: The bald eagle is cold.[(((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3))] The rabbit visits the rabbit.[(((((((triple7) -> rule6)) -> rule2) triple8) -> rule5))] @4: The bald eagle is kind.[(((((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3)) -> rule7))] The bald eagle visits the rabbit.[(((triple2 ((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3)) -> rule5) OR ((((triple3) -> rule2) ((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3)) -> rule5))] @5: The bald eagle visits the bald eagle.[(((((((triple1 ((((triple8) -> rule7)) -> rule4)) -> rule3)) -> rule7)) -> rule4))]
The bald eagle eats the rabbit.
("bald eagle" "eats" "rabbit" "+")
triple1
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
triple2
((triple3) -> (rule2 % int1))
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
triple3
The bald eagle sees the rabbit.
("bald eagle" "sees" "rabbit" "+")
triple4
The bear eats the tiger.
("bear" "eats" "tiger" "+")
triple5
The bear sees the tiger.
("bear" "sees" "tiger" "+")
triple6
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple7
The rabbit is cold.
("rabbit" "is" "cold" "+")
triple8
The tiger eats the bear.
("tiger" "eats" "bear" "+")
triple9
The tiger is green.
("tiger" "is" "green" "+")
triple10
The tiger is round.
("tiger" "is" "round" "+")
triple11
((triple9) -> (rule6 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple8) -> (rule7 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
((triple7) -> (rule6 % int1))
The rabbit is round.
("rabbit" "is" "round" "+")
int1
The tiger is nice.
("tiger" "is" "nice" "+")
((triple11) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
((((triple9) -> (rule6 % int2))) -> (rule2 % int1))
The tiger is nice.
("tiger" "is" "nice" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
int2
The rabbit is nice.
("rabbit" "is" "nice" "+")
((((triple7) -> (rule6 % int2))) -> (rule2 % int1))
The rabbit is nice.
("rabbit" "is" "nice" "+")
int1
The rabbit is round.
("rabbit" "is" "round" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((((triple8) -> (rule7 % int2))) -> (rule4 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
((triple1 ((((triple8) -> (rule7 % int3))) -> (rule4 % int2))) -> (rule3 % int1))
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The rabbit is kind.
("rabbit" "is" "kind" "+")
int3
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
((((((triple7) -> (rule6 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
The rabbit visits the rabbit.
("rabbit" "visits" "rabbit" "+")
int1
The rabbit is nice.
("rabbit" "is" "nice" "+")
int2
The rabbit is round.
("rabbit" "is" "round" "+")
int3
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
((((triple1 ((((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule7 % int1))
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
((triple2 ((triple1 ((((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
((((triple3) -> (rule2 % int5)) ((triple1 ((((triple8) -> (rule7 % int4))) -> (rule4 % int3))) -> (rule3 % int2))) -> (rule5 % int1))
The bald eagle visits the rabbit.
("bald eagle" "visits" "rabbit" "+")
int1
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The rabbit is kind.
("rabbit" "is" "kind" "+")
int4
The bald eagle is nice.
("bald eagle" "is" "nice" "+")
int5
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((((triple1 ((((triple8) -> (rule7 % int5))) -> (rule4 % int4))) -> (rule3 % int3))) -> (rule7 % int2))) -> (rule4 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
int2
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
int3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int4
The rabbit is kind.
("rabbit" "is" "kind" "+")
int5