The bald eagle is cold. The bald eagle needs the bear. The bear is red. The bear likes the bald eagle. The bear likes the cat. The bear likes the rabbit. The bear needs the bald eagle. The bear needs the cat. The bear visits the rabbit. The cat likes the bald eagle. The cat needs the rabbit. The rabbit is red. The rabbit likes the bald eagle. The rabbit needs the bear. If something visits the cat and the cat needs the rabbit then the cat is cold. If the bear needs the rabbit then the bear likes the rabbit. If the rabbit visits the bear and the bear is rough then the rabbit is kind. If something likes the rabbit and the rabbit needs the cat then the cat likes the rabbit. If something is cold then it is red. If something is red then it visits the bald eagle. If something visits the bear then the bear is kind. If something likes the rabbit and the rabbit visits the bald eagle then the bald eagle visits the cat. If something visits the cat then it needs the bear.
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
The bear is red.
("bear" "is" "red" "+")
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
The bear likes the cat.
("bear" "likes" "cat" "+")
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
The bear needs the cat.
("bear" "needs" "cat" "+")
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
If something visits the cat and the cat needs the rabbit then the cat is cold.
((("something" "visits" "cat" "+") ("cat" "needs" "rabbit" "+")) -> ("cat" "is" "cold" "+"))
If the bear needs the rabbit then the bear likes the rabbit.
((("bear" "needs" "rabbit" "+")) -> ("bear" "likes" "rabbit" "+"))
If the rabbit visits the bear and the bear is rough then the rabbit is kind.
((("rabbit" "visits" "bear" "+") ("bear" "is" "rough" "+")) -> ("rabbit" "is" "kind" "+"))
If something likes the rabbit and the rabbit needs the cat then the cat likes the rabbit.
((("something" "likes" "rabbit" "+") ("rabbit" "needs" "cat" "+")) -> ("cat" "likes" "rabbit" "+"))
If something is cold then it is red.
((("something" "is" "cold" "+")) -> ("something" "is" "red" "+"))
If something is red then it visits the bald eagle.
((("something" "is" "red" "+")) -> ("something" "visits" "bald eagle" "+"))
If something visits the bear then the bear is kind.
((("something" "visits" "bear" "+")) -> ("bear" "is" "kind" "+"))
If something likes the rabbit and the rabbit visits the bald eagle then the bald eagle visits the cat.
((("something" "likes" "rabbit" "+") ("rabbit" "visits" "bald eagle" "+")) -> ("bald eagle" "visits" "cat" "+"))
If something visits the cat then it needs the bear.
((("something" "visits" "cat" "+")) -> ("something" "needs" "bear" "+"))
The bear likes the cat.
True
1
proof
[(triple5)]
("bear" "likes" "cat" "+")
triple5
The bear does not visit the rabbit.
False
1
inv-proof
[(triple9)]
("bear" "visits" "rabbit" "-")
triple9
The bald eagle is red.
True
2
proof
[(((triple1) -> rule5))]
("bald eagle" "is" "red" "+")
((triple1) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear does not visit the bald eagle.
False
2
inv-proof
[(((triple3) -> rule6))]
("bear" "visits" "bald eagle" "-")
((triple3) -> (rule6 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The bald eagle visits the cat.
True
4
proof
[(((triple6 ((triple12) -> rule6)) -> rule8))]
("bald eagle" "visits" "cat" "+")
((triple6 ((triple12) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The bald eagle does not visit the cat.
False
4
inv-proof
[(((triple6 ((triple12) -> rule6)) -> rule8))]
("bald eagle" "visits" "cat" "-")
((triple6 ((triple12) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The cat is cold.
True
6
proof
[(((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1))]
("cat" "is" "cold" "+")
((((triple6 ((triple12) -> (rule6 % int3))) -> (rule8 % int2)) triple11) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The cat is not cold.
False
6
inv-proof
[(((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1))]
("cat" "is" "cold" "-")
((((triple6 ((triple12) -> (rule6 % int3))) -> (rule8 % int2)) triple11) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The cat is red.
True
7
proof
[(((((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1)) -> rule5))]
("cat" "is" "red" "+")
((((((triple6 ((triple12) -> (rule6 % int4))) -> (rule8 % int3)) triple11) -> (rule1 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int4
The cat is not red.
False
7
inv-proof
[(((((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1)) -> rule5))]
("cat" "is" "red" "-")
((((((triple6 ((triple12) -> (rule6 % int4))) -> (rule8 % int3)) triple11) -> (rule1 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int4
The cat visits the bald eagle.
True
8
proof
[(((((((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1)) -> rule5)) -> rule6))]
("cat" "visits" "bald eagle" "+")
((((((((triple6 ((triple12) -> (rule6 % int5))) -> (rule8 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int4
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int5
The cat does not visit the bald eagle.
False
8
inv-proof
[(((((((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1)) -> rule5)) -> rule6))]
("cat" "visits" "bald eagle" "-")
((((((((triple6 ((triple12) -> (rule6 % int5))) -> (rule8 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int4
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int5
The cat does not need the bear.
Unknown
inv-rconc
[@1: The cat needs the bear.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("cat" "needs" "bear" "-")
The bear is kind.
Unknown
rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bear" "is" "kind" "+")
The cat does not like the rabbit.
Unknown
inv-rconc
[@1: The cat likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "likes" "rabbit" "-")
The bear needs the bear.
Unknown
rconc
[@1: The bear needs the bear.[CWA. Example of deepest failure = (rule9 <- FAIL)]]
("bear" "needs" "bear" "+")
The rabbit is not kind.
Unknown
inv-rconc
[@1: The rabbit is kind.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("rabbit" "is" "kind" "-")
The bald eagle likes the bald eagle.
Unknown
random
[@0: The bald eagle likes the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "bald eagle" "+")
The cat does not visit the rabbit.
Unknown
inv-random
[@0: The cat visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "rabbit" "-")
The rabbit visits the rabbit.
Unknown
random
[@0: The rabbit visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "visits" "rabbit" "+")
The rabbit does not need the bald eagle.
Unknown
inv-random
[@0: The rabbit needs the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "needs" "bald eagle" "-")
The rabbit is cold.
Unknown
random
[@0: The rabbit is cold.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "cold" "+")
The rabbit is not blue.
Unknown
inv-random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "-")
The cat likes the bear.
Unknown
random
[@0: The cat likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "bear" "+")
@0: The bald eagle is cold.[(triple1)] The bald eagle needs the bear.[(triple2 OR ((((triple6 ((triple12) -> rule6)) -> rule8)) -> rule9))] The bear is red.[(triple3)] The bear likes the bald eagle.[(triple4)] The bear likes the cat.[(triple5)] The bear likes the rabbit.[(triple6)] The bear needs the bald eagle.[(triple7)] The bear needs the cat.[(triple8)] The bear visits the rabbit.[(triple9)] The cat likes the bald eagle.[(triple10)] The cat needs the rabbit.[(triple11)] The rabbit is red.[(triple12)] The rabbit likes the bald eagle.[(triple13)] The rabbit needs the bear.[(triple14)] @1: The bald eagle is red.[(((triple1) -> rule5))] The bear visits the bald eagle.[(((triple3) -> rule6))] The rabbit visits the bald eagle.[(((triple12) -> rule6))] @2: The bald eagle visits the bald eagle.[(((((triple1) -> rule5)) -> rule6))] The bald eagle visits the cat.[(((triple6 ((triple12) -> rule6)) -> rule8))] @3: The cat is cold.[(((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1))] @4: The cat is red.[(((((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1)) -> rule5))] @5: The cat visits the bald eagle.[(((((((((triple6 ((triple12) -> rule6)) -> rule8) triple11) -> rule1)) -> rule5)) -> rule6))]
The bald eagle is cold.
("bald eagle" "is" "cold" "+")
triple1
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
triple2
((((triple6 ((triple12) -> (rule6 % int3))) -> (rule8 % int2))) -> (rule9 % int1))
The bald eagle needs the bear.
("bald eagle" "needs" "bear" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The bear is red.
("bear" "is" "red" "+")
triple3
The bear likes the bald eagle.
("bear" "likes" "bald eagle" "+")
triple4
The bear likes the cat.
("bear" "likes" "cat" "+")
triple5
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
triple6
The bear needs the bald eagle.
("bear" "needs" "bald eagle" "+")
triple7
The bear needs the cat.
("bear" "needs" "cat" "+")
triple8
The bear visits the rabbit.
("bear" "visits" "rabbit" "+")
triple9
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple10
The cat needs the rabbit.
("cat" "needs" "rabbit" "+")
triple11
The rabbit is red.
("rabbit" "is" "red" "+")
triple12
The rabbit likes the bald eagle.
("rabbit" "likes" "bald eagle" "+")
triple13
The rabbit needs the bear.
("rabbit" "needs" "bear" "+")
triple14
The bald eagle is red.
("bald eagle" "is" "red" "+")
((triple1) -> (rule5 % int1))
The bald eagle is red.
("bald eagle" "is" "red" "+")
int1
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
((triple3) -> (rule6 % int1))
The bear visits the bald eagle.
("bear" "visits" "bald eagle" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
((triple12) -> (rule6 % int1))
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int1
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
((((triple1) -> (rule5 % int2))) -> (rule6 % int1))
The bald eagle visits the bald eagle.
("bald eagle" "visits" "bald eagle" "+")
int1
The bald eagle is red.
("bald eagle" "is" "red" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
((triple6 ((triple12) -> (rule6 % int2))) -> (rule8 % int1))
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int1
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
((((triple6 ((triple12) -> (rule6 % int3))) -> (rule8 % int2)) triple11) -> (rule1 % int1))
The cat is cold.
("cat" "is" "cold" "+")
int1
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int2
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int3
The cat is red.
("cat" "is" "red" "+")
((((((triple6 ((triple12) -> (rule6 % int4))) -> (rule8 % int3)) triple11) -> (rule1 % int2))) -> (rule5 % int1))
The cat is red.
("cat" "is" "red" "+")
int1
The cat is cold.
("cat" "is" "cold" "+")
int2
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int3
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
((((((((triple6 ((triple12) -> (rule6 % int5))) -> (rule8 % int4)) triple11) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule6 % int1))
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
int1
The cat is red.
("cat" "is" "red" "+")
int2
The cat is cold.
("cat" "is" "cold" "+")
int3
The bald eagle visits the cat.
("bald eagle" "visits" "cat" "+")
int4
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
int5