The bear chases the cow. The bear is cold. The bear is rough. The bear is round. The bear likes the cow. The bear likes the mouse. The bear sees the cow. The bear sees the mouse. The cow is kind. The cow is rough. The cow likes the mouse. The mouse chases the bear. The mouse chases the cow. The mouse likes the cow. The mouse sees the cow. If someone is rough and round then they are cold. If someone sees the cow and the cow chases the mouse then the mouse likes the bear. If someone likes the cow and the cow chases the mouse then the cow likes the mouse. If the bear chases the mouse and the bear is cold then the mouse is round. If someone sees the cow and they chase the cow then the cow is rough. If someone is round and they chase the cow then they chase the mouse.
The bear chases the cow.
("bear" "chases" "cow" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is rough.
("bear" "is" "rough" "+")
The bear is round.
("bear" "is" "round" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear likes the mouse.
("bear" "likes" "mouse" "+")
The bear sees the cow.
("bear" "sees" "cow" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is rough.
("cow" "is" "rough" "+")
The cow likes the mouse.
("cow" "likes" "mouse" "+")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone is rough and round then they are cold.
((("someone" "is" "rough" "+") ("someone" "is" "round" "+")) -> ("someone" "is" "cold" "+"))
If someone sees the cow and the cow chases the mouse then the mouse likes the bear.
((("someone" "sees" "cow" "+") ("cow" "chases" "mouse" "+")) -> ("mouse" "likes" "bear" "+"))
If someone likes the cow and the cow chases the mouse then the cow likes the mouse.
((("someone" "likes" "cow" "+") ("cow" "chases" "mouse" "+")) -> ("cow" "likes" "mouse" "+"))
If the bear chases the mouse and the bear is cold then the mouse is round.
((("bear" "chases" "mouse" "+") ("bear" "is" "cold" "+")) -> ("mouse" "is" "round" "+"))
If someone sees the cow and they chase the cow then the cow is rough.
((("someone" "sees" "cow" "+") ("someone" "chases" "cow" "+")) -> ("cow" "is" "rough" "+"))
If someone is round and they chase the cow then they chase the mouse.
((("someone" "is" "round" "+") ("someone" "chases" "cow" "+")) -> ("someone" "chases" "mouse" "+"))
The bear likes the cow.
True
1
proof
[(triple5)]
("bear" "likes" "cow" "+")
triple5
The mouse does not chase the cow.
False
1
inv-proof
[(triple13)]
("mouse" "chases" "cow" "-")
triple13
The bear chases the mouse.
True
3
proof
[(((triple4 triple1) -> rule6))]
("bear" "chases" "mouse" "+")
((triple4 triple1) -> (rule6 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The bear does not chase the mouse.
False
3
inv-proof
[(((triple4 triple1) -> rule6))]
("bear" "chases" "mouse" "-")
((triple4 triple1) -> (rule6 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The mouse is round.
True
5
proof
[(((((triple4 triple1) -> rule6) triple2) -> rule4) OR ((((triple4 triple1) -> rule6) ((triple3 triple4) -> rule1)) -> rule4))]
("mouse" "is" "round" "+")
((((triple4 triple1) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
((((triple4 triple1) -> (rule6 % int3)) ((triple3 triple4) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int3
The mouse is not round.
False
5
inv-proof
[(((((triple4 triple1) -> rule6) triple2) -> rule4) OR ((((triple4 triple1) -> rule6) ((triple3 triple4) -> rule1)) -> rule4))]
("mouse" "is" "round" "-")
((((triple4 triple1) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
((((triple4 triple1) -> (rule6 % int3)) ((triple3 triple4) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int3
The mouse chases the mouse.
True
7
proof
[(((((((triple4 triple1) -> rule6) triple2) -> rule4) triple13) -> rule6) OR ((((((triple4 triple1) -> rule6) ((triple3 triple4) -> rule1)) -> rule4) triple13) -> rule6))]
("mouse" "chases" "mouse" "+")
((((((triple4 triple1) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple13) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int3
((((((triple4 triple1) -> (rule6 % int4)) ((triple3 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int4
The mouse does not chase the mouse.
False
7
inv-proof
[(((((((triple4 triple1) -> rule6) triple2) -> rule4) triple13) -> rule6) OR ((((((triple4 triple1) -> rule6) ((triple3 triple4) -> rule1)) -> rule4) triple13) -> rule6))]
("mouse" "chases" "mouse" "-")
((((((triple4 triple1) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple13) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int3
((((((triple4 triple1) -> (rule6 % int4)) ((triple3 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int4
The mouse does not like the bear.
Unknown
inv-rconc
[@2: The mouse likes the bear.[CWA. Example of deepest failure = (rule2 <- rule6 <- FAIL)]]
("mouse" "likes" "bear" "-")
The cow chases the mouse.
Unknown
rconc
[@1: The cow chases the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("cow" "chases" "mouse" "+")
The cow is not cold.
Unknown
inv-rconc
[@1: The cow is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "cold" "-")
The mouse is cold.
Unknown
rconc
[@1: The mouse is cold.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "cold" "+")
The cow does not see the bear.
Unknown
inv-random
[@0: The cow sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "bear" "-")
The bear sees the bear.
Unknown
random
[@0: The bear sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "bear" "+")
The mouse is not kind.
Unknown
inv-random
[@0: The mouse is kind.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "kind" "-")
The mouse is red.
Unknown
random
[@0: The mouse is red.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "red" "+")
@0: The bear chases the cow.[(triple1)] The bear is cold.[(triple2 OR ((triple3 triple4) -> rule1))] The bear is rough.[(triple3)] The bear is round.[(triple4)] The bear likes the cow.[(triple5)] The bear likes the mouse.[(triple6)] The bear sees the cow.[(triple7)] The bear sees the mouse.[(triple8)] The cow is kind.[(triple9)] The cow is rough.[(triple10 OR ((triple15 triple13) -> rule5) OR ((triple7 triple1) -> rule5))] The cow likes the mouse.[(triple11)] The mouse chases the bear.[(triple12)] The mouse chases the cow.[(triple13)] The mouse likes the cow.[(triple14)] The mouse sees the cow.[(triple15)] @1: The bear chases the mouse.[(((triple4 triple1) -> rule6))] @2: The mouse is round.[(((((triple4 triple1) -> rule6) triple2) -> rule4) OR ((((triple4 triple1) -> rule6) ((triple3 triple4) -> rule1)) -> rule4))] @3: The mouse chases the mouse.[(((((((triple4 triple1) -> rule6) triple2) -> rule4) triple13) -> rule6) OR ((((((triple4 triple1) -> rule6) ((triple3 triple4) -> rule1)) -> rule4) triple13) -> rule6))]
The bear chases the cow.
("bear" "chases" "cow" "+")
triple1
The bear is cold.
("bear" "is" "cold" "+")
triple2
((triple3 triple4) -> (rule1 % int1))
The bear is cold.
("bear" "is" "cold" "+")
int1
The bear is rough.
("bear" "is" "rough" "+")
triple3
The bear is round.
("bear" "is" "round" "+")
triple4
The bear likes the cow.
("bear" "likes" "cow" "+")
triple5
The bear likes the mouse.
("bear" "likes" "mouse" "+")
triple6
The bear sees the cow.
("bear" "sees" "cow" "+")
triple7
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple8
The cow is kind.
("cow" "is" "kind" "+")
triple9
The cow is rough.
("cow" "is" "rough" "+")
triple10
((triple15 triple13) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
((triple7 triple1) -> (rule5 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
triple11
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple12
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple13
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple14
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple15
The bear chases the mouse.
("bear" "chases" "mouse" "+")
((triple4 triple1) -> (rule6 % int1))
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
((((triple4 triple1) -> (rule6 % int2)) triple2) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int2
((((triple4 triple1) -> (rule6 % int3)) ((triple3 triple4) -> (rule1 % int2))) -> (rule4 % int1))
The mouse is round.
("mouse" "is" "round" "+")
int1
The bear is cold.
("bear" "is" "cold" "+")
int2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int3
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
((((((triple4 triple1) -> (rule6 % int3)) triple2) -> (rule4 % int2)) triple13) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int3
((((((triple4 triple1) -> (rule6 % int4)) ((triple3 triple4) -> (rule1 % int3))) -> (rule4 % int2)) triple13) -> (rule6 % int1))
The mouse chases the mouse.
("mouse" "chases" "mouse" "+")
int1
The mouse is round.
("mouse" "is" "round" "+")
int2
The bear is cold.
("bear" "is" "cold" "+")
int3
The bear chases the mouse.
("bear" "chases" "mouse" "+")
int4