The bald eagle likes the cow. The bald eagle visits the cow. The cat is round. The cat likes the bald eagle. The cat visits the bald eagle. The cow eats the bald eagle. The cow is red. The cow visits the cat. The tiger is kind. The tiger is rough. The tiger visits the cat. The tiger visits the cow. If something visits the tiger then it likes the cat. If something is round then it visits the tiger. If the bald eagle likes the tiger and the tiger is kind then the tiger is young. If something likes the cat and the cat visits the bald eagle then the bald eagle is round. If something likes the cow and it does not eat the cat then it is kind.
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
The cat is round.
("cat" "is" "round" "+")
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
The cow is red.
("cow" "is" "red" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The tiger is kind.
("tiger" "is" "kind" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
The tiger visits the cat.
("tiger" "visits" "cat" "+")
The tiger visits the cow.
("tiger" "visits" "cow" "+")
If something visits the tiger then it likes the cat.
((("something" "visits" "tiger" "+")) -> ("something" "likes" "cat" "+"))
If something is round then it visits the tiger.
((("something" "is" "round" "+")) -> ("something" "visits" "tiger" "+"))
If the bald eagle likes the tiger and the tiger is kind then the tiger is young.
((("bald eagle" "likes" "tiger" "+") ("tiger" "is" "kind" "+")) -> ("tiger" "is" "young" "+"))
If something likes the cat and the cat visits the bald eagle then the bald eagle is round.
((("something" "likes" "cat" "+") ("cat" "visits" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If something likes the cow and it does not eat the cat then it is kind.
((("something" "likes" "cow" "+") ("something" "eats" "cat" "~")) -> ("something" "is" "kind" "+"))
The cow visits the cat.
True
1
proof
[(triple8)]
("cow" "visits" "cat" "+")
triple8
The bald eagle does not like the cow.
False
1
inv-proof
[(triple1)]
("bald eagle" "likes" "cow" "-")
triple1
The cat visits the tiger.
True
2
proof
[(((triple3) -> rule2))]
("cat" "visits" "tiger" "+")
((triple3) -> (rule2 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat does not visit the tiger.
False
2
inv-proof
[(((triple3) -> rule2))]
("cat" "visits" "tiger" "-")
((triple3) -> (rule2 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat likes the cat.
True
3
proof
[(((((triple3) -> rule2)) -> rule1))]
("cat" "likes" "cat" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The cat does not like the cat.
False
3
inv-proof
[(((((triple3) -> rule2)) -> rule1))]
("cat" "likes" "cat" "-")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The bald eagle is round.
True
5
proof
[(((((((triple3) -> rule2)) -> rule1) triple5) -> rule4))]
("bald eagle" "is" "round" "+")
((((((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The bald eagle is not round.
False
5
inv-proof
[(((((((triple3) -> rule2)) -> rule1) triple5) -> rule4))]
("bald eagle" "is" "round" "-")
((((((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The bald eagle visits the tiger.
True
6
proof
[(((((((((triple3) -> rule2)) -> rule1) triple5) -> rule4)) -> rule2))]
("bald eagle" "visits" "tiger" "+")
((((((((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The bald eagle does not visit the tiger.
False
6
inv-proof
[(((((((((triple3) -> rule2)) -> rule1) triple5) -> rule4)) -> rule2))]
("bald eagle" "visits" "tiger" "-")
((((((((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The bald eagle likes the cat.
True
7
proof
[(((((((((((triple3) -> rule2)) -> rule1) triple5) -> rule4)) -> rule2)) -> rule1))]
("bald eagle" "likes" "cat" "+")
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int5
The bald eagle does not like the cat.
False
7
inv-proof
[(((((((((((triple3) -> rule2)) -> rule1) triple5) -> rule4)) -> rule2)) -> rule1))]
("bald eagle" "likes" "cat" "-")
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int5
The tiger is not young.
Unknown
inv-rconc
[@1: The tiger is young.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "young" "-")
The tiger likes the cat.
Unknown
rconc
[@2: The tiger likes the cat.[CWA. Example of deepest failure = (rule1 <- rule2 <- FAIL)]]
("tiger" "likes" "cat" "+")
The cow does not visit the tiger.
Unknown
inv-rconc
[@1: The cow visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cow" "visits" "tiger" "-")
The cat is kind.
Unknown
rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cat" "is" "kind" "+")
The tiger does not visit the tiger.
Unknown
inv-rconc
[@1: The tiger visits the tiger.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("tiger" "visits" "tiger" "-")
The cow is kind.
Unknown
rconc
[@1: The cow is kind.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("cow" "is" "kind" "+")
The cow does not like the tiger.
Unknown
inv-random
[@0: The cow likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "tiger" "-")
The tiger eats the tiger.
Unknown
random
[@0: The tiger eats the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "eats" "tiger" "+")
The cat does not like the tiger.
Unknown
inv-random
[@0: The cat likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("cat" "likes" "tiger" "-")
The bald eagle likes the tiger.
Unknown
random
[@0: The bald eagle likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "likes" "tiger" "+")
The cow does not eat the cat.
Unknown
inv-random
[@0: The cow eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cow" "eats" "cat" "-")
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 likes the cow.[(triple1)] The bald eagle visits the cow.[(triple2)] The cat is round.[(triple3)] The cat likes the bald eagle.[(triple4)] The cat visits the bald eagle.[(triple5)] The cow eats the bald eagle.[(triple6)] The cow is red.[(triple7)] The cow visits the cat.[(triple8)] The tiger is kind.[(triple9)] The tiger is rough.[(triple10)] The tiger visits the cat.[(triple11)] The tiger visits the cow.[(triple12)] @1: The cat visits the tiger.[(((triple3) -> rule2))] @2: The cat likes the cat.[(((((triple3) -> rule2)) -> rule1))] @3: The bald eagle is round.[(((((((triple3) -> rule2)) -> rule1) triple5) -> rule4))] @4: The bald eagle visits the tiger.[(((((((((triple3) -> rule2)) -> rule1) triple5) -> rule4)) -> rule2))] @5: The bald eagle likes the cat.[(((((((((((triple3) -> rule2)) -> rule1) triple5) -> rule4)) -> rule2)) -> rule1))]
The bald eagle likes the cow.
("bald eagle" "likes" "cow" "+")
triple1
The bald eagle visits the cow.
("bald eagle" "visits" "cow" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat likes the bald eagle.
("cat" "likes" "bald eagle" "+")
triple4
The cat visits the bald eagle.
("cat" "visits" "bald eagle" "+")
triple5
The cow eats the bald eagle.
("cow" "eats" "bald eagle" "+")
triple6
The cow is red.
("cow" "is" "red" "+")
triple7
The cow visits the cat.
("cow" "visits" "cat" "+")
triple8
The tiger is kind.
("tiger" "is" "kind" "+")
triple9
The tiger is rough.
("tiger" "is" "rough" "+")
triple10
The tiger visits the cat.
("tiger" "visits" "cat" "+")
triple11
The tiger visits the cow.
("tiger" "visits" "cow" "+")
triple12
The cat visits the tiger.
("cat" "visits" "tiger" "+")
((triple3) -> (rule2 % int1))
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
((((triple3) -> (rule2 % int2))) -> (rule1 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((((triple3) -> (rule2 % int3))) -> (rule1 % int2)) triple5) -> (rule4 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The cat likes the cat.
("cat" "likes" "cat" "+")
int2
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int3
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
((((((((triple3) -> (rule2 % int4))) -> (rule1 % int3)) triple5) -> (rule4 % int2))) -> (rule2 % int1))
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The cat likes the cat.
("cat" "likes" "cat" "+")
int3
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int4
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
((((((((((triple3) -> (rule2 % int5))) -> (rule1 % int4)) triple5) -> (rule4 % int3))) -> (rule2 % int2))) -> (rule1 % int1))
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
int1
The bald eagle visits the tiger.
("bald eagle" "visits" "tiger" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The cat likes the cat.
("cat" "likes" "cat" "+")
int4
The cat visits the tiger.
("cat" "visits" "tiger" "+")
int5