The bear likes the cow. The cow does not chase the squirrel. The mouse chases the bear. The mouse is big. The mouse is blue. The mouse is round. The mouse sees the bear. The squirrel is not blue. The squirrel is not kind. The squirrel is round. If something sees the mouse then it is kind. If something is kind then it does not like the squirrel. If something is kind then it sees the squirrel. If something sees the cow and it does not like the mouse then the mouse is not big. If something likes the cow then the cow sees the mouse. If something sees the squirrel then the squirrel chases the bear. If something sees the cow then the cow does not see the squirrel. Big things are nice.
The bear likes the cow.
("bear" "likes" "cow" "+")
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
The mouse chases the bear.
("mouse" "chases" "bear" "+")
The mouse is big.
("mouse" "is" "big" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse sees the bear.
("mouse" "sees" "bear" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is not kind.
("squirrel" "is" "kind" "-")
The squirrel is round.
("squirrel" "is" "round" "+")
If something sees the mouse then it is kind.
((("something" "sees" "mouse" "+")) -> ("something" "is" "kind" "+"))
If something is kind then it does not like the squirrel.
((("something" "is" "kind" "+")) -> ("something" "likes" "squirrel" "-"))
If something is kind then it sees the squirrel.
((("something" "is" "kind" "+")) -> ("something" "sees" "squirrel" "+"))
If something sees the cow and it does not like the mouse then the mouse is not big.
((("something" "sees" "cow" "+") ("something" "likes" "mouse" "~")) -> ("mouse" "is" "big" "-"))
If something likes the cow then the cow sees the mouse.
((("something" "likes" "cow" "+")) -> ("cow" "sees" "mouse" "+"))
If something sees the squirrel then the squirrel chases the bear.
((("something" "sees" "squirrel" "+")) -> ("squirrel" "chases" "bear" "+"))
If something sees the cow then the cow does not see the squirrel.
((("something" "sees" "cow" "+")) -> ("cow" "sees" "squirrel" "-"))
Big things are nice.
((("something" "is" "big" "+")) -> ("something" "is" "nice" "+"))
The mouse is big.
True
1
proof
[(triple4)]
("mouse" "is" "big" "+")
triple4
The mouse is not blue.
False
1
inv-proof
[(triple5)]
("mouse" "is" "blue" "-")
triple5
The mouse is nice.
True
2
proof
[(((triple4) -> rule8))]
("mouse" "is" "nice" "+")
((triple4) -> (rule8 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is not nice.
False
2
inv-proof
[(((triple4) -> rule8))]
("mouse" "is" "nice" "-")
((triple4) -> (rule8 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The cow is kind.
True
3
proof
[(((((triple1) -> rule5)) -> rule1))]
("cow" "is" "kind" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The cow is not kind.
False
3
inv-proof
[(((((triple1) -> rule5)) -> rule1))]
("cow" "is" "kind" "-")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The cow does not like the squirrel.
True
4
proof
[(((((((triple1) -> rule5)) -> rule1)) -> rule2))]
("cow" "likes" "squirrel" "-")
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int3
The cow does not see the squirrel.
False
4
inv-proof
[(((((((triple1) -> rule5)) -> rule1)) -> rule3))]
("cow" "sees" "squirrel" "-")
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int3
The squirrel is not nice.
Unknown
inv-rconc
[@1: The squirrel is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("squirrel" "is" "nice" "-")
The bear is nice.
Unknown
rconc
[@1: The bear is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("bear" "is" "nice" "+")
The bear is not kind.
Unknown
inv-rconc
[@1: The bear is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("bear" "is" "kind" "-")
The cow is nice.
Unknown
rconc
[@1: The cow is nice.[CWA. Example of deepest failure = (rule8 <- FAIL)]]
("cow" "is" "nice" "+")
The squirrel does not like the bear.
Unknown
inv-random
[@0: The squirrel likes the bear.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "likes" "bear" "-")
The cow likes the mouse.
Unknown
random
[@0: The cow likes the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "mouse" "+")
The bear is not big.
Unknown
inv-random
[@0: The bear is big.[CWA. Example of deepest failure = (FAIL)]]
("bear" "is" "big" "-")
The mouse chases the squirrel.
Unknown
random
[@0: The mouse chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "squirrel" "+")
@0: The bear likes the cow.[(triple1)] The cow does not chase the squirrel.[(triple2)] The mouse chases the bear.[(triple3)] The mouse is big.[(triple4)] The mouse is blue.[(triple5)] The mouse is round.[(triple6)] The mouse sees the bear.[(triple7)] The squirrel is not blue.[(triple8)] The squirrel is not kind.[(triple9)] The squirrel is round.[(triple10)] @1: The cow sees the mouse.[(((triple1) -> rule5))] The mouse is nice.[(((triple4) -> rule8))] @2: The cow is kind.[(((((triple1) -> rule5)) -> rule1))] @3: The cow does not like the squirrel.[(((((((triple1) -> rule5)) -> rule1)) -> rule2))] The cow sees the squirrel.[(((((((triple1) -> rule5)) -> rule1)) -> rule3))] @4: The squirrel chases the bear.[(((((((((triple1) -> rule5)) -> rule1)) -> rule3)) -> rule6))]
The bear likes the cow.
("bear" "likes" "cow" "+")
triple1
The cow does not chase the squirrel.
("cow" "chases" "squirrel" "-")
triple2
The mouse chases the bear.
("mouse" "chases" "bear" "+")
triple3
The mouse is big.
("mouse" "is" "big" "+")
triple4
The mouse is blue.
("mouse" "is" "blue" "+")
triple5
The mouse is round.
("mouse" "is" "round" "+")
triple6
The mouse sees the bear.
("mouse" "sees" "bear" "+")
triple7
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple8
The squirrel is not kind.
("squirrel" "is" "kind" "-")
triple9
The squirrel is round.
("squirrel" "is" "round" "+")
triple10
The cow sees the mouse.
("cow" "sees" "mouse" "+")
((triple1) -> (rule5 % int1))
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int1
The mouse is nice.
("mouse" "is" "nice" "+")
((triple4) -> (rule8 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
((((triple1) -> (rule5 % int2))) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int2
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule2 % int1))
The cow does not like the squirrel.
("cow" "likes" "squirrel" "-")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int3
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
((((((triple1) -> (rule5 % int3))) -> (rule1 % int2))) -> (rule3 % int1))
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int1
The cow is kind.
("cow" "is" "kind" "+")
int2
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int3
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
((((((((triple1) -> (rule5 % int4))) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule6 % int1))
The squirrel chases the bear.
("squirrel" "chases" "bear" "+")
int1
The cow sees the squirrel.
("cow" "sees" "squirrel" "+")
int2
The cow is kind.
("cow" "is" "kind" "+")
int3
The cow sees the mouse.
("cow" "sees" "mouse" "+")
int4