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