The bald eagle eats the cat. The bald eagle eats the mouse. The cat chases the bald eagle. The cat eats the bald eagle. The cat eats the rabbit. The cat is big. The cat is nice. The cat is rough. The mouse is blue. The mouse is rough. The rabbit eats the bald eagle. The rabbit is big. The rabbit is not nice. The rabbit visits the bald eagle. The rabbit does not visit the cat. The rabbit visits the mouse. If someone visits the bald eagle and the bald eagle visits the cat then they do not visit the rabbit. If someone chases the bald eagle and they chase the rabbit then the rabbit chases the bald eagle. If someone visits the mouse and they are rough then the mouse chases the cat. If someone visits the rabbit then the rabbit does not chase the cat. If someone chases the mouse then the mouse visits the rabbit. If someone chases the cat then the cat chases the mouse. If someone is big and they eat the bald eagle then they visit the mouse. If someone chases the rabbit and they eat the cat then the cat visits the rabbit. If someone is blue and they eat the rabbit then the rabbit visits the mouse.
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is rough.
("cat" "is" "rough" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
The rabbit is big.
("rabbit" "is" "big" "+")
The rabbit is not nice.
("rabbit" "is" "nice" "-")
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone visits the bald eagle and the bald eagle visits the cat then they do not visit the rabbit.
((("someone" "visits" "bald eagle" "+") ("bald eagle" "visits" "cat" "+")) -> ("someone" "visits" "rabbit" "-"))
If someone chases the bald eagle and they chase the rabbit then the rabbit chases the bald eagle.
((("someone" "chases" "bald eagle" "+") ("someone" "chases" "rabbit" "+")) -> ("rabbit" "chases" "bald eagle" "+"))
If someone visits the mouse and they are rough then the mouse chases the cat.
((("someone" "visits" "mouse" "+") ("someone" "is" "rough" "+")) -> ("mouse" "chases" "cat" "+"))
If someone visits the rabbit then the rabbit does not chase the cat.
((("someone" "visits" "rabbit" "+")) -> ("rabbit" "chases" "cat" "-"))
If someone chases the mouse then the mouse visits the rabbit.
((("someone" "chases" "mouse" "+")) -> ("mouse" "visits" "rabbit" "+"))
If someone chases the cat then the cat chases the mouse.
((("someone" "chases" "cat" "+")) -> ("cat" "chases" "mouse" "+"))
If someone is big and they eat the bald eagle then they visit the mouse.
((("someone" "is" "big" "+") ("someone" "eats" "bald eagle" "+")) -> ("someone" "visits" "mouse" "+"))
If someone chases the rabbit and they eat the cat then the cat visits the rabbit.
((("someone" "chases" "rabbit" "+") ("someone" "eats" "cat" "+")) -> ("cat" "visits" "rabbit" "+"))
If someone is blue and they eat the rabbit then the rabbit visits the mouse.
((("someone" "is" "blue" "+") ("someone" "eats" "rabbit" "+")) -> ("rabbit" "visits" "mouse" "+"))
The cat eats the bald eagle.
True
1
proof
[(triple4)]
("cat" "eats" "bald eagle" "+")
triple4
The rabbit does not visit the mouse.
False
1
inv-proof
[(triple16 OR ((triple12 triple11) -> rule7))]
("rabbit" "visits" "mouse" "-")
triple16
((triple12 triple11) -> (rule7 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
The cat visits the mouse.
True
3
proof
[(((triple6 triple4) -> rule7))]
("cat" "visits" "mouse" "+")
((triple6 triple4) -> (rule7 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The cat does not visit the mouse.
False
3
inv-proof
[(((triple6 triple4) -> rule7))]
("cat" "visits" "mouse" "-")
((triple6 triple4) -> (rule7 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The mouse chases the cat.
True
5
proof
[(((((triple6 triple4) -> rule7) triple8) -> rule3))]
("mouse" "chases" "cat" "+")
((((triple6 triple4) -> (rule7 % int2)) triple8) -> (rule3 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int2
The mouse does not chase the cat.
False
5
inv-proof
[(((((triple6 triple4) -> rule7) triple8) -> rule3))]
("mouse" "chases" "cat" "-")
((((triple6 triple4) -> (rule7 % int2)) triple8) -> (rule3 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int2
The cat chases the mouse.
True
6
proof
[(((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6))]
("cat" "chases" "mouse" "+")
((((((triple6 triple4) -> (rule7 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int3
The cat does not chase the mouse.
False
6
inv-proof
[(((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6))]
("cat" "chases" "mouse" "-")
((((((triple6 triple4) -> (rule7 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int3
The mouse visits the rabbit.
True
7
proof
[(((((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6)) -> rule5))]
("mouse" "visits" "rabbit" "+")
((((((((triple6 triple4) -> (rule7 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int3
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int4
The mouse does not visit the rabbit.
False
7
inv-proof
[(((((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6)) -> rule5))]
("mouse" "visits" "rabbit" "-")
((((((((triple6 triple4) -> (rule7 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int3
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int4
The rabbit does not chase the cat.
True
8
proof
[(((((((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6)) -> rule5)) -> rule4))]
("rabbit" "chases" "cat" "-")
((((((((((triple6 triple4) -> (rule7 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int5
The rabbit chases the cat.
False
8
inv-proof
[(((((((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6)) -> rule5)) -> rule4))]
("rabbit" "chases" "cat" "+")
((((((((((triple6 triple4) -> (rule7 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int5
The cat does not visit the rabbit.
Unknown
inv-rconc
[@1: The cat visits the rabbit.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cat" "visits" "rabbit" "-")
The bald eagle visits the mouse.
Unknown
rconc
[@1: The bald eagle visits the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("bald eagle" "visits" "mouse" "+")
The rabbit does not chase the bald eagle.
Unknown
inv-rconc
[@1: The rabbit chases the bald eagle.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "chases" "bald eagle" "-")
The mouse visits the mouse.
Unknown
rconc
[@1: The mouse visits the mouse.[CWA. Example of deepest failure = (rule7 <- FAIL)]]
("mouse" "visits" "mouse" "+")
The bald eagle does not chase the mouse.
Unknown
inv-random
[@0: The bald eagle chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "chases" "mouse" "-")
The bald eagle eats the rabbit.
Unknown
random
[@0: The bald eagle eats the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "eats" "rabbit" "+")
The mouse does not visit the cat.
Unknown
inv-random
[@0: The mouse visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "visits" "cat" "-")
The bald eagle visits the cat.
Unknown
random
[@0: The bald eagle visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "visits" "cat" "+")
The rabbit does not chase the mouse.
Unknown
inv-random
[@0: The rabbit chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "mouse" "-")
The cat chases the rabbit.
Unknown
random
[@0: The cat chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "rabbit" "+")
The bald eagle is not nice.
Unknown
inv-random
[@0: The bald eagle is nice.[CWA. Example of deepest failure = (FAIL)]]
("bald eagle" "is" "nice" "-")
The cat visits the bald eagle.
Unknown
random
[@0: The cat visits the bald eagle.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "bald eagle" "+")
@0: The bald eagle eats the cat.[(triple1)] The bald eagle eats the mouse.[(triple2)] The cat chases the bald eagle.[(triple3)] The cat eats the bald eagle.[(triple4)] The cat eats the rabbit.[(triple5)] The cat is big.[(triple6)] The cat is nice.[(triple7)] The cat is rough.[(triple8)] The mouse is blue.[(triple9)] The mouse is rough.[(triple10)] The rabbit does not visit the cat.[(triple15)] The rabbit eats the bald eagle.[(triple11)] The rabbit is big.[(triple12)] The rabbit is not nice.[(triple13)] The rabbit visits the bald eagle.[(triple14)] The rabbit visits the mouse.[(triple16 OR ((triple12 triple11) -> rule7))] @1: The cat visits the mouse.[(((triple6 triple4) -> rule7))] @2: The mouse chases the cat.[(((((triple6 triple4) -> rule7) triple8) -> rule3))] @3: The cat chases the mouse.[(((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6))] @4: The mouse visits the rabbit.[(((((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6)) -> rule5))] @5: The rabbit does not chase the cat.[(((((((((((triple6 triple4) -> rule7) triple8) -> rule3)) -> rule6)) -> rule5)) -> rule4))]
The bald eagle eats the cat.
("bald eagle" "eats" "cat" "+")
triple1
The bald eagle eats the mouse.
("bald eagle" "eats" "mouse" "+")
triple2
The cat chases the bald eagle.
("cat" "chases" "bald eagle" "+")
triple3
The cat eats the bald eagle.
("cat" "eats" "bald eagle" "+")
triple4
The cat eats the rabbit.
("cat" "eats" "rabbit" "+")
triple5
The cat is big.
("cat" "is" "big" "+")
triple6
The cat is nice.
("cat" "is" "nice" "+")
triple7
The cat is rough.
("cat" "is" "rough" "+")
triple8
The mouse is blue.
("mouse" "is" "blue" "+")
triple9
The mouse is rough.
("mouse" "is" "rough" "+")
triple10
The rabbit does not visit the cat.
("rabbit" "visits" "cat" "-")
triple15
The rabbit eats the bald eagle.
("rabbit" "eats" "bald eagle" "+")
triple11
The rabbit is big.
("rabbit" "is" "big" "+")
triple12
The rabbit is not nice.
("rabbit" "is" "nice" "-")
triple13
The rabbit visits the bald eagle.
("rabbit" "visits" "bald eagle" "+")
triple14
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple16
((triple12 triple11) -> (rule7 % int1))
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
int1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
((triple6 triple4) -> (rule7 % int1))
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
((((triple6 triple4) -> (rule7 % int2)) triple8) -> (rule3 % int1))
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int1
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
((((((triple6 triple4) -> (rule7 % int3)) triple8) -> (rule3 % int2))) -> (rule6 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int2
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int3
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
((((((((triple6 triple4) -> (rule7 % int4)) triple8) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule5 % int1))
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int2
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int3
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int4
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
((((((((((triple6 triple4) -> (rule7 % int5)) triple8) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule5 % int2))) -> (rule4 % int1))
The rabbit does not chase the cat.
("rabbit" "chases" "cat" "-")
int1
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
int2
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int3
The mouse chases the cat.
("mouse" "chases" "cat" "+")
int4
The cat visits the mouse.
("cat" "visits" "mouse" "+")
int5