The bald eagle is kind. The bald eagle likes the cat. The cat is kind. The cat likes the lion. The lion chases the mouse. The mouse chases the bald eagle. The mouse visits the bald eagle. If something is round then it likes the bald eagle. If something is red then it likes the cat. If something is round and it likes the bald eagle then it chases the bald eagle. If something likes the lion and it visits the lion then the lion is blue. If something likes the bald eagle then the bald eagle is round. If something is kind and blue then it likes the mouse. If something is blue and it chases the cat then the cat is rough. If something likes the mouse then it is rough. If something likes the lion then the lion is round.
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
The cat is kind.
("cat" "is" "kind" "+")
The cat likes the lion.
("cat" "likes" "lion" "+")
The lion chases the mouse.
("lion" "chases" "mouse" "+")
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
If something is round then it likes the bald eagle.
((("something" "is" "round" "+")) -> ("something" "likes" "bald eagle" "+"))
If something is red then it likes the cat.
((("something" "is" "red" "+")) -> ("something" "likes" "cat" "+"))
If something is round and it likes the bald eagle then it chases the bald eagle.
((("something" "is" "round" "+") ("something" "likes" "bald eagle" "+")) -> ("something" "chases" "bald eagle" "+"))
If something likes the lion and it visits the lion then the lion is blue.
((("something" "likes" "lion" "+") ("something" "visits" "lion" "+")) -> ("lion" "is" "blue" "+"))
If something likes the bald eagle then the bald eagle is round.
((("something" "likes" "bald eagle" "+")) -> ("bald eagle" "is" "round" "+"))
If something is kind and blue then it likes the mouse.
((("something" "is" "kind" "+") ("something" "is" "blue" "+")) -> ("something" "likes" "mouse" "+"))
If something is blue and it chases the cat then the cat is rough.
((("something" "is" "blue" "+") ("something" "chases" "cat" "+")) -> ("cat" "is" "rough" "+"))
If something likes the mouse then it is rough.
((("something" "likes" "mouse" "+")) -> ("something" "is" "rough" "+"))
If something likes the lion then the lion is round.
((("something" "likes" "lion" "+")) -> ("lion" "is" "round" "+"))
The bald eagle likes the cat.
True
1
proof
[(triple2)]
("bald eagle" "likes" "cat" "+")
triple2
The bald eagle is not kind.
False
1
inv-proof
[(triple1)]
("bald eagle" "is" "kind" "-")
triple1
The lion is round.
True
2
proof
[(((triple4) -> rule9))]
("lion" "is" "round" "+")
((triple4) -> (rule9 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion is not round.
False
2
inv-proof
[(((triple4) -> rule9))]
("lion" "is" "round" "-")
((triple4) -> (rule9 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion likes the bald eagle.
True
3
proof
[(((((triple4) -> rule9)) -> rule1))]
("lion" "likes" "bald eagle" "+")
((((triple4) -> (rule9 % int2))) -> (rule1 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The lion does not like the bald eagle.
False
3
inv-proof
[(((((triple4) -> rule9)) -> rule1))]
("lion" "likes" "bald eagle" "-")
((((triple4) -> (rule9 % int2))) -> (rule1 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The bald eagle is round.
True
4
proof
[(((((((triple4) -> rule9)) -> rule1)) -> rule5))]
("bald eagle" "is" "round" "+")
((((((triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion does not chase the bald eagle.
False
6
inv-proof
[(((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule1)) -> rule3))]
("lion" "chases" "bald eagle" "-")
((((triple4) -> (rule9 % int3)) ((((triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The bald eagle likes the bald eagle.
True
5
proof
[(((((((((triple4) -> rule9)) -> rule1)) -> rule5)) -> rule1))]
("bald eagle" "likes" "bald eagle" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The bald eagle does not like the bald eagle.
False
5
inv-proof
[(((((((((triple4) -> rule9)) -> rule1)) -> rule5)) -> rule1))]
("bald eagle" "likes" "bald eagle" "-")
((((((((triple4) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The bald eagle chases the bald eagle.
True
10
proof
[(((((((((triple4) -> rule9)) -> rule1)) -> rule5) ((((((((triple4) -> rule9)) -> rule1)) -> rule5)) -> rule1)) -> rule3))]
("bald eagle" "chases" "bald eagle" "+")
((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int4
The lion is round.
("lion" "is" "round" "+")
int5
The bald eagle does not chase the bald eagle.
False
10
inv-proof
[(((((((((triple4) -> rule9)) -> rule1)) -> rule5) ((((((((triple4) -> rule9)) -> rule1)) -> rule5)) -> rule1)) -> rule3))]
("bald eagle" "chases" "bald eagle" "-")
((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int4
The lion is round.
("lion" "is" "round" "+")
int5
The lion is not blue.
Unknown
inv-rconc
[@1: The lion is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "is" "blue" "-")
The cat likes the mouse.
Unknown
rconc
[@1: The cat likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cat" "likes" "mouse" "+")
The bald eagle does not like the mouse.
Unknown
inv-rconc
[@1: The bald eagle likes the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bald eagle" "likes" "mouse" "-")
The cat likes the bald eagle.
Unknown
rconc
[@1: The cat likes the bald eagle.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "likes" "bald eagle" "+")
The cat does not chase the bald eagle.
Unknown
inv-rconc
[@1: The cat chases the bald eagle.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cat" "chases" "bald eagle" "-")
The cat likes the cat.
Unknown
rconc
[@1: The cat likes the cat.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "likes" "cat" "+")
The mouse does not chase the lion.
Unknown
inv-random
[@0: The mouse chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "lion" "-")
The mouse chases the cat.
Unknown
random
[@0: The mouse chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "cat" "+")
The mouse does not like the lion.
Unknown
inv-random
[@0: The mouse likes the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "lion" "-")
The bald eagle is red.
Unknown
random
[@0: The bald eagle is red.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "red" "+")
The bald eagle does not visit the mouse.
Unknown
inv-random
[@0: The bald eagle visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "mouse" "-")
The mouse visits the lion.
Unknown
random
[@0: The mouse visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "lion" "+")
@0: The bald eagle is kind.[(triple1)] The bald eagle likes the cat.[(triple2)] The cat is kind.[(triple3)] The cat likes the lion.[(triple4)] The lion chases the mouse.[(triple5)] The mouse chases the bald eagle.[(triple6)] The mouse visits the bald eagle.[(triple7)] @1: The lion is round.[(((triple4) -> rule9))] @2: The lion likes the bald eagle.[(((((triple4) -> rule9)) -> rule1))] @3: The bald eagle is round.[(((((((triple4) -> rule9)) -> rule1)) -> rule5))] The lion chases the bald eagle.[(((((triple4) -> rule9) ((((triple4) -> rule9)) -> rule1)) -> rule3))] @4: The bald eagle likes the bald eagle.[(((((((((triple4) -> rule9)) -> rule1)) -> rule5)) -> rule1))] @5: The bald eagle chases the bald eagle.[(((((((((triple4) -> rule9)) -> rule1)) -> rule5) ((((((((triple4) -> rule9)) -> rule1)) -> rule5)) -> rule1)) -> rule3))]
The bald eagle is kind.
("bald eagle" "is" "kind" "+")
triple1
The bald eagle likes the cat.
("bald eagle" "likes" "cat" "+")
triple2
The cat is kind.
("cat" "is" "kind" "+")
triple3
The cat likes the lion.
("cat" "likes" "lion" "+")
triple4
The lion chases the mouse.
("lion" "chases" "mouse" "+")
triple5
The mouse chases the bald eagle.
("mouse" "chases" "bald eagle" "+")
triple6
The mouse visits the bald eagle.
("mouse" "visits" "bald eagle" "+")
triple7
The lion is round.
("lion" "is" "round" "+")
((triple4) -> (rule9 % int1))
The lion is round.
("lion" "is" "round" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
((((triple4) -> (rule9 % int2))) -> (rule1 % int1))
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int1
The lion is round.
("lion" "is" "round" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
((((((triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule5 % int1))
The bald eagle is round.
("bald eagle" "is" "round" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
((((triple4) -> (rule9 % int3)) ((((triple4) -> (rule9 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The lion chases the bald eagle.
("lion" "chases" "bald eagle" "+")
int1
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int2
The lion is round.
("lion" "is" "round" "+")
int3
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
((((((((triple4) -> (rule9 % int4))) -> (rule1 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int1
The bald eagle is round.
("bald eagle" "is" "round" "+")
int2
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int3
The lion is round.
("lion" "is" "round" "+")
int4
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3)) ((((((((triple4) -> (rule9 % int5))) -> (rule1 % int4))) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The bald eagle chases the bald eagle.
("bald eagle" "chases" "bald eagle" "+")
int1
The bald eagle likes the bald eagle.
("bald eagle" "likes" "bald eagle" "+")
int2
The bald eagle is round.
("bald eagle" "is" "round" "+")
int3
The lion likes the bald eagle.
("lion" "likes" "bald eagle" "+")
int4
The lion is round.
("lion" "is" "round" "+")
int5