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