The bear chases the cat. The bear is blue. The bear is young. The bear sees the mouse. The bear sees the rabbit. The cat chases the mouse. The cat is blue. The cat is red. The cat sees the bear. The cat sees the rabbit. The mouse chases the cat. The mouse is blue. The rabbit chases the bear. The rabbit is kind. The rabbit likes the cat. The rabbit sees the cat. If the cat is kind then the cat likes the bear. If someone is blue then they are green. Green people are kind.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear is blue.
("bear" "is" "blue" "+")
The bear is young.
("bear" "is" "young" "+")
The bear sees the mouse.
("bear" "sees" "mouse" "+")
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is blue.
("cat" "is" "blue" "+")
The cat is red.
("cat" "is" "red" "+")
The cat sees the bear.
("cat" "sees" "bear" "+")
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse is blue.
("mouse" "is" "blue" "+")
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
The rabbit is kind.
("rabbit" "is" "kind" "+")
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If the cat is kind then the cat likes the bear.
((("cat" "is" "kind" "+")) -> ("cat" "likes" "bear" "+"))
If someone is blue then they are green.
((("someone" "is" "blue" "+")) -> ("someone" "is" "green" "+"))
Green people are kind.
((("someone" "is" "green" "+")) -> ("someone" "is" "kind" "+"))
The mouse chases the cat.
True
1
proof
[(triple11)]
("mouse" "chases" "cat" "+")
triple11
The cat does not see the bear.
False
1
inv-proof
[(triple9)]
("cat" "sees" "bear" "-")
triple9
The cat is green.
True
2
proof
[(((triple7) -> rule2))]
("cat" "is" "green" "+")
((triple7) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The mouse is not green.
False
2
inv-proof
[(((triple12) -> rule2))]
("mouse" "is" "green" "-")
((triple12) -> (rule2 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The bear is kind.
True
3
proof
[(((((triple2) -> rule2)) -> rule3))]
("bear" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat is not kind.
False
3
inv-proof
[(((((triple7) -> rule2)) -> rule3))]
("cat" "is" "kind" "-")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The cat likes the bear.
True
4
proof
[(((((((triple7) -> rule2)) -> rule3)) -> rule1))]
("cat" "likes" "bear" "+")
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The cat does not like the bear.
False
4
inv-proof
[(((((((triple7) -> rule2)) -> rule3)) -> rule1))]
("cat" "likes" "bear" "-")
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3
The rabbit is not green.
Unknown
inv-rconc
[@1: The rabbit is green.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("rabbit" "is" "green" "-")
The mouse chases the bear.
Unknown
random
[@0: The mouse chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "bear" "+")
The rabbit does not chase the cat.
Unknown
inv-random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "-")
The rabbit is blue.
Unknown
random
[@0: The rabbit is blue.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "is" "blue" "+")
The cat does not see the mouse.
Unknown
inv-random
[@0: The cat sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "mouse" "-")
The mouse chases the mouse.
Unknown
random
[@0: The mouse chases the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "chases" "mouse" "+")
The mouse does not see the bear.
Unknown
inv-random
[@0: The mouse sees the bear.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "bear" "-")
The rabbit chases the rabbit.
Unknown
random
[@0: The rabbit chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "rabbit" "+")
@0: The bear chases the cat.[(triple1)] The bear is blue.[(triple2)] The bear is young.[(triple3)] The bear sees the mouse.[(triple4)] The bear sees the rabbit.[(triple5)] The cat chases the mouse.[(triple6)] The cat is blue.[(triple7)] The cat is red.[(triple8)] The cat sees the bear.[(triple9)] The cat sees the rabbit.[(triple10)] The mouse chases the cat.[(triple11)] The mouse is blue.[(triple12)] The rabbit chases the bear.[(triple13)] The rabbit is kind.[(triple14)] The rabbit likes the cat.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The bear is green.[(((triple2) -> rule2))] The cat is green.[(((triple7) -> rule2))] The mouse is green.[(((triple12) -> rule2))] @2: The bear is kind.[(((((triple2) -> rule2)) -> rule3))] The cat is kind.[(((((triple7) -> rule2)) -> rule3))] The mouse is kind.[(((((triple12) -> rule2)) -> rule3))] @3: The cat likes the bear.[(((((((triple7) -> rule2)) -> rule3)) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear is blue.
("bear" "is" "blue" "+")
triple2
The bear is young.
("bear" "is" "young" "+")
triple3
The bear sees the mouse.
("bear" "sees" "mouse" "+")
triple4
The bear sees the rabbit.
("bear" "sees" "rabbit" "+")
triple5
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple6
The cat is blue.
("cat" "is" "blue" "+")
triple7
The cat is red.
("cat" "is" "red" "+")
triple8
The cat sees the bear.
("cat" "sees" "bear" "+")
triple9
The cat sees the rabbit.
("cat" "sees" "rabbit" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse is blue.
("mouse" "is" "blue" "+")
triple12
The rabbit chases the bear.
("rabbit" "chases" "bear" "+")
triple13
The rabbit is kind.
("rabbit" "is" "kind" "+")
triple14
The rabbit likes the cat.
("rabbit" "likes" "cat" "+")
triple15
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple16
The bear is green.
("bear" "is" "green" "+")
((triple2) -> (rule2 % int1))
The bear is green.
("bear" "is" "green" "+")
int1
The cat is green.
("cat" "is" "green" "+")
((triple7) -> (rule2 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
((triple12) -> (rule2 % int1))
The mouse is green.
("mouse" "is" "green" "+")
int1
The bear is kind.
("bear" "is" "kind" "+")
((((triple2) -> (rule2 % int2))) -> (rule3 % int1))
The bear is kind.
("bear" "is" "kind" "+")
int1
The bear is green.
("bear" "is" "green" "+")
int2
The cat is kind.
("cat" "is" "kind" "+")
((((triple7) -> (rule2 % int2))) -> (rule3 % int1))
The cat is kind.
("cat" "is" "kind" "+")
int1
The cat is green.
("cat" "is" "green" "+")
int2
The mouse is kind.
("mouse" "is" "kind" "+")
((((triple12) -> (rule2 % int2))) -> (rule3 % int1))
The mouse is kind.
("mouse" "is" "kind" "+")
int1
The mouse is green.
("mouse" "is" "green" "+")
int2
The cat likes the bear.
("cat" "likes" "bear" "+")
((((((triple7) -> (rule2 % int3))) -> (rule3 % int2))) -> (rule1 % int1))
The cat likes the bear.
("cat" "likes" "bear" "+")
int1
The cat is kind.
("cat" "is" "kind" "+")
int2
The cat is green.
("cat" "is" "green" "+")
int3