The bear chases the cat. The bear does not chase the mouse. The bear eats the rabbit. The bear is cold. The bear is young. The bear does not see the cat. The cat eats the mouse. The cat is blue. The mouse does not eat the bear. The mouse eats the cat. The mouse is young. The mouse sees the cat. The rabbit eats the bear. The rabbit eats the mouse. The rabbit is red. The rabbit sees the cat. If something is red and it does not chase the mouse then it eats the mouse. If something is young and it does not chase the mouse then it is red. If something eats the rabbit and it does not see the bear then it is red. If something is cold then it is blue. If the bear does not eat the rabbit then the bear is red. If something sees the mouse then the mouse eats the cat.
The bear chases the cat.
("bear" "chases" "cat" "+")
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
The bear is cold.
("bear" "is" "cold" "+")
The bear is young.
("bear" "is" "young" "+")
The bear does not see the cat.
("bear" "sees" "cat" "-")
The cat eats the mouse.
("cat" "eats" "mouse" "+")
The cat is blue.
("cat" "is" "blue" "+")
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
The mouse eats the cat.
("mouse" "eats" "cat" "+")
The mouse is young.
("mouse" "is" "young" "+")
The mouse sees the cat.
("mouse" "sees" "cat" "+")
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
If something is red and it does not chase the mouse then it eats the mouse.
((("something" "is" "red" "+") ("something" "chases" "mouse" "~")) -> ("something" "eats" "mouse" "+"))
If something is young and it does not chase the mouse then it is red.
((("something" "is" "young" "+") ("something" "chases" "mouse" "~")) -> ("something" "is" "red" "+"))
If something eats the rabbit and it does not see the bear then it is red.
((("something" "eats" "rabbit" "+") ("something" "sees" "bear" "~")) -> ("something" "is" "red" "+"))
If something is cold then it is blue.
((("something" "is" "cold" "+")) -> ("something" "is" "blue" "+"))
If the bear does not eat the rabbit then the bear is red.
((("bear" "eats" "rabbit" "~")) -> ("bear" "is" "red" "+"))
If something sees the mouse then the mouse eats the cat.
((("something" "sees" "mouse" "+")) -> ("mouse" "eats" "cat" "+"))
The bear chases the cat.
True
1
proof
[(triple1)]
("bear" "chases" "cat" "+")
triple1
The bear is not young.
False
1
inv-proof
[(triple5)]
("bear" "is" "young" "-")
triple5
The bear is red.
True
3
proof
[(((triple5 triple2) -> rule2))]
("bear" "is" "red" "+")
((triple5 triple2) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear is not red.
False
3
inv-proof
[(((triple5 triple2) -> rule2))]
("bear" "is" "red" "-")
((triple5 triple2) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the mouse.
True
5
proof
[(((((triple5 triple2) -> rule2) triple2) -> rule1))]
("bear" "eats" "mouse" "+")
((((triple5 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The bear does not eat the mouse.
False
5
inv-proof
[(((((triple5 triple2) -> rule2) triple2) -> rule1))]
("bear" "eats" "mouse" "-")
((((triple5 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2
The mouse does not eat the mouse.
Unknown
inv-rconc
[@1: The mouse eats the mouse.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "eats" "mouse" "-")
The cat is red.
Unknown
rconc
[@1: The cat is red.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("cat" "is" "red" "+")
The rabbit is not blue.
Unknown
inv-rconc
[@1: The rabbit is blue.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("rabbit" "is" "blue" "-")
The cat chases the bear.
Unknown
random
[@0: The cat chases the bear.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "bear" "+")
The bear does not see the mouse.
Unknown
inv-random
[@0: The bear sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("bear" "sees" "mouse" "-")
The bear chases the rabbit.
Unknown
random
[@0: The bear chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("bear" "chases" "rabbit" "+")
@0: The bear chases the cat.[(triple1)] The bear does not chase the mouse.[(triple2)] The bear does not see the cat.[(triple6)] The bear eats the rabbit.[(triple3)] The bear is cold.[(triple4)] The bear is young.[(triple5)] The cat eats the mouse.[(triple7)] The cat is blue.[(triple8)] The mouse does not eat the bear.[(triple9)] The mouse eats the cat.[(triple10)] The mouse is young.[(triple11)] The mouse sees the cat.[(triple12)] The rabbit eats the bear.[(triple13)] The rabbit eats the mouse.[(triple14)] The rabbit is red.[(triple15)] The rabbit sees the cat.[(triple16)] @1: The bear is blue.[(((triple4) -> rule4))] The bear is red.[(((triple5 triple2) -> rule2))] @2: The bear eats the mouse.[(((((triple5 triple2) -> rule2) triple2) -> rule1))]
The bear chases the cat.
("bear" "chases" "cat" "+")
triple1
The bear does not chase the mouse.
("bear" "chases" "mouse" "-")
triple2
The bear does not see the cat.
("bear" "sees" "cat" "-")
triple6
The bear eats the rabbit.
("bear" "eats" "rabbit" "+")
triple3
The bear is cold.
("bear" "is" "cold" "+")
triple4
The bear is young.
("bear" "is" "young" "+")
triple5
The cat eats the mouse.
("cat" "eats" "mouse" "+")
triple7
The cat is blue.
("cat" "is" "blue" "+")
triple8
The mouse does not eat the bear.
("mouse" "eats" "bear" "-")
triple9
The mouse eats the cat.
("mouse" "eats" "cat" "+")
triple10
The mouse is young.
("mouse" "is" "young" "+")
triple11
The mouse sees the cat.
("mouse" "sees" "cat" "+")
triple12
The rabbit eats the bear.
("rabbit" "eats" "bear" "+")
triple13
The rabbit eats the mouse.
("rabbit" "eats" "mouse" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple15
The rabbit sees the cat.
("rabbit" "sees" "cat" "+")
triple16
The bear is blue.
("bear" "is" "blue" "+")
((triple4) -> (rule4 % int1))
The bear is blue.
("bear" "is" "blue" "+")
int1
The bear is red.
("bear" "is" "red" "+")
((triple5 triple2) -> (rule2 % int1))
The bear is red.
("bear" "is" "red" "+")
int1
The bear eats the mouse.
("bear" "eats" "mouse" "+")
((((triple5 triple2) -> (rule2 % int2)) triple2) -> (rule1 % int1))
The bear eats the mouse.
("bear" "eats" "mouse" "+")
int1
The bear is red.
("bear" "is" "red" "+")
int2