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