The bear is kind. The bear is nice. The bear likes the cow. The bear sees the rabbit. The cow eats the mouse. The cow is kind. The cow likes the bear. The mouse eats the bear. The mouse is nice. The mouse is young. The mouse likes the cow. The mouse sees the cow. The rabbit is young. The rabbit likes the bear. The rabbit likes the cow. The rabbit sees the mouse. If someone is rough then they are blue. If someone likes the mouse then they are nice. If someone likes the bear and they see the rabbit then the bear likes the cow. If someone is nice then they eat the cow. If someone likes the bear and they see the bear then the bear is nice. If someone eats the bear then they eat the mouse.
The bear is kind.
("bear" "is" "kind" "+")
The bear is nice.
("bear" "is" "nice" "+")
The bear likes the cow.
("bear" "likes" "cow" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The cow eats the mouse.
("cow" "eats" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow likes the bear.
("cow" "likes" "bear" "+")
The mouse eats the bear.
("mouse" "eats" "bear" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The rabbit is young.
("rabbit" "is" "young" "+")
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
If someone is rough then they are blue.
((("someone" "is" "rough" "+")) -> ("someone" "is" "blue" "+"))
If someone likes the mouse then they are nice.
((("someone" "likes" "mouse" "+")) -> ("someone" "is" "nice" "+"))
If someone likes the bear and they see the rabbit then the bear likes the cow.
((("someone" "likes" "bear" "+") ("someone" "sees" "rabbit" "+")) -> ("bear" "likes" "cow" "+"))
If someone is nice then they eat the cow.
((("someone" "is" "nice" "+")) -> ("someone" "eats" "cow" "+"))
If someone likes the bear and they see the bear then the bear is nice.
((("someone" "likes" "bear" "+") ("someone" "sees" "bear" "+")) -> ("bear" "is" "nice" "+"))
If someone eats the bear then they eat the mouse.
((("someone" "eats" "bear" "+")) -> ("someone" "eats" "mouse" "+"))
The rabbit is young.
True
1
proof
[(triple13)]
("rabbit" "is" "young" "+")
triple13
The bear does not see the rabbit.
False
1
inv-proof
[(triple4)]
("bear" "sees" "rabbit" "-")
triple4
The mouse eats the mouse.
True
2
proof
[(((triple8) -> rule6))]
("mouse" "eats" "mouse" "+")
((triple8) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1
The mouse does not eat the cow.
False
2
inv-proof
[(((triple9) -> rule4))]
("mouse" "eats" "cow" "-")
((triple9) -> (rule4 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The bear does not eat the mouse.
Unknown
inv-rconc
[@1: The bear eats the mouse.[CWA. Example of deepest failure = (rule6 <- FAIL)]]
("bear" "eats" "mouse" "-")
The rabbit is blue.
Unknown
rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "is" "blue" "+")
The rabbit is not kind.
Unknown
inv-random
[@0: The rabbit is kind.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "kind" "-")
The cow sees the mouse.
Unknown
random
[@0: The cow sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "sees" "mouse" "+")
@0: The bear is kind.[(triple1)] The bear is nice.[(triple2)] The bear likes the cow.[(triple3)] The bear sees the rabbit.[(triple4)] The cow eats the mouse.[(triple5)] The cow is kind.[(triple6)] The cow likes the bear.[(triple7)] The mouse eats the bear.[(triple8)] The mouse is nice.[(triple9)] The mouse is young.[(triple10)] The mouse likes the cow.[(triple11)] The mouse sees the cow.[(triple12)] The rabbit is young.[(triple13)] The rabbit likes the bear.[(triple14)] The rabbit likes the cow.[(triple15)] The rabbit sees the mouse.[(triple16)] @1: The bear eats the cow.[(((triple2) -> rule4))] The mouse eats the cow.[(((triple9) -> rule4))] The mouse eats the mouse.[(((triple8) -> rule6))]
The bear is kind.
("bear" "is" "kind" "+")
triple1
The bear is nice.
("bear" "is" "nice" "+")
triple2
The bear likes the cow.
("bear" "likes" "cow" "+")
triple3
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple4
The cow eats the mouse.
("cow" "eats" "mouse" "+")
triple5
The cow is kind.
("cow" "is" "kind" "+")
triple6
The cow likes the bear.
("cow" "likes" "bear" "+")
triple7
The mouse eats the bear.
("mouse" "eats" "bear" "+")
triple8
The mouse is nice.
("mouse" "is" "nice" "+")
triple9
The mouse is young.
("mouse" "is" "young" "+")
triple10
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple11
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple12
The rabbit is young.
("rabbit" "is" "young" "+")
triple13
The rabbit likes the bear.
("rabbit" "likes" "bear" "+")
triple14
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple15
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple16
The bear eats the cow.
("bear" "eats" "cow" "+")
((triple2) -> (rule4 % int1))
The bear eats the cow.
("bear" "eats" "cow" "+")
int1
The mouse eats the cow.
("mouse" "eats" "cow" "+")
((triple9) -> (rule4 % int1))
The mouse eats the cow.
("mouse" "eats" "cow" "+")
int1
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
((triple8) -> (rule6 % int1))
The mouse eats the mouse.
("mouse" "eats" "mouse" "+")
int1