The bear chases the tiger. The bear is not cold. The bear is nice. The mouse chases the rabbit. The mouse eats the tiger. The mouse is cold. The mouse is nice. The mouse is round. The rabbit eats the bear. The rabbit is nice. The rabbit likes the bear. The tiger is cold. The tiger likes the bear. The tiger does not like the rabbit. If something chases the mouse and it likes the rabbit then it does not eat the mouse. If something likes the rabbit then it likes the mouse. If something is cold then it eats the rabbit. If something is blue and it eats the bear then it eats the tiger. If something likes the mouse then it chases the mouse. If something likes the bear and it eats the rabbit then the bear likes the rabbit. If something is big and it does not eat the rabbit then it chases the rabbit.
The bear chases the tiger.
("bear" "chases" "tiger" "+")
The bear is not cold.
("bear" "is" "cold" "-")
The bear is nice.
("bear" "is" "nice" "+")
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
The mouse is cold.
("mouse" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is round.
("mouse" "is" "round" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The tiger is cold.
("tiger" "is" "cold" "+")
The tiger likes the bear.
("tiger" "likes" "bear" "+")
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
If something chases the mouse and it likes the rabbit then it does not eat the mouse.
((("something" "chases" "mouse" "+") ("something" "likes" "rabbit" "+")) -> ("something" "eats" "mouse" "-"))
If something likes the rabbit then it likes the mouse.
((("something" "likes" "rabbit" "+")) -> ("something" "likes" "mouse" "+"))
If something is cold then it eats the rabbit.
((("something" "is" "cold" "+")) -> ("something" "eats" "rabbit" "+"))
If something is blue and it eats the bear then it eats the tiger.
((("something" "is" "blue" "+") ("something" "eats" "bear" "+")) -> ("something" "eats" "tiger" "+"))
If something likes the mouse then it chases the mouse.
((("something" "likes" "mouse" "+")) -> ("something" "chases" "mouse" "+"))
If something likes the bear and it eats the rabbit then the bear likes the rabbit.
((("something" "likes" "bear" "+") ("something" "eats" "rabbit" "+")) -> ("bear" "likes" "rabbit" "+"))
If something is big and it does not eat the rabbit then it chases the rabbit.
((("something" "is" "big" "+") ("something" "eats" "rabbit" "~")) -> ("something" "chases" "rabbit" "+"))
The bear is nice.
True
1
proof
[(triple3)]
("bear" "is" "nice" "+")
triple3
The mouse does not eat the tiger.
False
1
inv-proof
[(triple5)]
("mouse" "eats" "tiger" "-")
triple5
The tiger eats the rabbit.
True
2
proof
[(((triple12) -> rule3))]
("tiger" "eats" "rabbit" "+")
((triple12) -> (rule3 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The tiger does not eat the rabbit.
False
2
inv-proof
[(((triple12) -> rule3))]
("tiger" "eats" "rabbit" "-")
((triple12) -> (rule3 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The bear likes the rabbit.
True
4
proof
[(((triple13 ((triple12) -> rule3)) -> rule6))]
("bear" "likes" "rabbit" "+")
((triple13 ((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The bear does not like the rabbit.
False
4
inv-proof
[(((triple13 ((triple12) -> rule3)) -> rule6))]
("bear" "likes" "rabbit" "-")
((triple13 ((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The bear likes the mouse.
True
5
proof
[(((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2))]
("bear" "likes" "mouse" "+")
((((triple13 ((triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int3
The bear does not like the mouse.
False
5
inv-proof
[(((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2))]
("bear" "likes" "mouse" "-")
((((triple13 ((triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int3
The bear chases the mouse.
True
6
proof
[(((((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2)) -> rule5))]
("bear" "chases" "mouse" "+")
((((((triple13 ((triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int3
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int4
The bear does not chase the mouse.
False
6
inv-proof
[(((((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2)) -> rule5))]
("bear" "chases" "mouse" "-")
((((((triple13 ((triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int3
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int4
The bear does not eat the mouse.
True
11
proof
[(((((((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2)) -> rule5) ((triple13 ((triple12) -> rule3)) -> rule6)) -> rule1))]
("bear" "eats" "mouse" "-")
((((((((triple13 ((triple12) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) ((triple13 ((triple12) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int1))
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int4
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int5
The bear eats the mouse.
False
11
inv-proof
[(((((((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2)) -> rule5) ((triple13 ((triple12) -> rule3)) -> rule6)) -> rule1))]
("bear" "eats" "mouse" "+")
((((((((triple13 ((triple12) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) ((triple13 ((triple12) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int1))
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int4
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int5
The mouse does not chase the mouse.
Unknown
inv-rconc
[@2: The mouse chases the mouse.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("mouse" "chases" "mouse" "-")
The tiger chases the mouse.
Unknown
rconc
[@2: The tiger chases the mouse.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("tiger" "chases" "mouse" "+")
The rabbit does not chase the mouse.
Unknown
inv-rconc
[@2: The rabbit chases the mouse.[CWA. Example of deepest failure = (rule5 <- rule2 <- FAIL)]]
("rabbit" "chases" "mouse" "-")
The rabbit eats the tiger.
Unknown
rconc
[@1: The rabbit eats the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "eats" "tiger" "+")
The bear does not eat the tiger.
Unknown
inv-rconc
[@1: The bear eats the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("bear" "eats" "tiger" "-")
The bear eats the rabbit.
Unknown
rconc
[@1: The bear eats the rabbit.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("bear" "eats" "rabbit" "+")
The mouse is not blue.
Unknown
inv-random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "-")
The tiger chases the bear.
Unknown
random
[@0: The tiger chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "bear" "+")
The tiger is not big.
Unknown
inv-random
[@0: The tiger is big.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "is" "big" "-")
The tiger likes the tiger.
Unknown
random
[@0: The tiger likes the tiger.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "likes" "tiger" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The bear eats the bear.
Unknown
random
[@0: The bear eats the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "eats" "bear" "+")
@0: The bear chases the tiger.[(triple1)] The bear is nice.[(triple3)] The bear is not cold.[(triple2)] The mouse chases the rabbit.[(triple4)] The mouse eats the tiger.[(triple5)] The mouse is cold.[(triple6)] The mouse is nice.[(triple7)] The mouse is round.[(triple8)] The rabbit eats the bear.[(triple9)] The rabbit is nice.[(triple10)] The rabbit likes the bear.[(triple11)] The tiger does not like the rabbit.[(triple14)] The tiger is cold.[(triple12)] The tiger likes the bear.[(triple13)] @1: The mouse eats the rabbit.[(((triple6) -> rule3))] The tiger eats the rabbit.[(((triple12) -> rule3))] @2: The bear likes the rabbit.[(((triple13 ((triple12) -> rule3)) -> rule6))] @3: The bear likes the mouse.[(((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2))] @4: The bear chases the mouse.[(((((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2)) -> rule5))] @5: The bear does not eat the mouse.[(((((((((triple13 ((triple12) -> rule3)) -> rule6)) -> rule2)) -> rule5) ((triple13 ((triple12) -> rule3)) -> rule6)) -> rule1))]
The bear chases the tiger.
("bear" "chases" "tiger" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple3
The bear is not cold.
("bear" "is" "cold" "-")
triple2
The mouse chases the rabbit.
("mouse" "chases" "rabbit" "+")
triple4
The mouse eats the tiger.
("mouse" "eats" "tiger" "+")
triple5
The mouse is cold.
("mouse" "is" "cold" "+")
triple6
The mouse is nice.
("mouse" "is" "nice" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple9
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple10
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple11
The tiger does not like the rabbit.
("tiger" "likes" "rabbit" "-")
triple14
The tiger is cold.
("tiger" "is" "cold" "+")
triple12
The tiger likes the bear.
("tiger" "likes" "bear" "+")
triple13
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
((triple6) -> (rule3 % int1))
The mouse eats the rabbit.
("mouse" "eats" "rabbit" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
((triple12) -> (rule3 % int1))
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
((triple13 ((triple12) -> (rule3 % int2))) -> (rule6 % int1))
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int1
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
((((triple13 ((triple12) -> (rule3 % int3))) -> (rule6 % int2))) -> (rule2 % int1))
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int1
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int2
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((((((triple13 ((triple12) -> (rule3 % int4))) -> (rule6 % int3))) -> (rule2 % int2))) -> (rule5 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int2
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int3
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int4
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
((((((((triple13 ((triple12) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule2 % int3))) -> (rule5 % int2)) ((triple13 ((triple12) -> (rule3 % int5))) -> (rule6 % int4))) -> (rule1 % int1))
The bear does not eat the mouse.
("bear" "eats" "mouse" "-")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
The bear likes the mouse.
("bear" "likes" "mouse" "+")
int3
The bear likes the rabbit.
("bear" "likes" "rabbit" "+")
int4
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
int5