The cow is cold. The mouse is nice. The mouse is rough. The mouse sees the cow. The mouse visits the cow. The mouse visits the rabbit. The rabbit likes the cow. The rabbit likes the mouse. The rabbit sees the mouse. The rabbit visits the mouse. If someone is rough then they like the cow. If someone likes the mouse then they see the rabbit. If someone likes the cow then they like the mouse. If someone likes the rabbit and they like the cow then the cow likes the rabbit. If someone sees the rabbit and they like the mouse then they see the mouse. If someone is blue then they like the cow.
The cow is cold.
("cow" "is" "cold" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
The mouse visits the cow.
("mouse" "visits" "cow" "+")
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
If someone is rough then they like the cow.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "cow" "+"))
If someone likes the mouse then they see the rabbit.
((("someone" "likes" "mouse" "+")) -> ("someone" "sees" "rabbit" "+"))
If someone likes the cow then they like the mouse.
((("someone" "likes" "cow" "+")) -> ("someone" "likes" "mouse" "+"))
If someone likes the rabbit and they like the cow then the cow likes the rabbit.
((("someone" "likes" "rabbit" "+") ("someone" "likes" "cow" "+")) -> ("cow" "likes" "rabbit" "+"))
If someone sees the rabbit and they like the mouse then they see the mouse.
((("someone" "sees" "rabbit" "+") ("someone" "likes" "mouse" "+")) -> ("someone" "sees" "mouse" "+"))
If someone is blue then they like the cow.
((("someone" "is" "blue" "+")) -> ("someone" "likes" "cow" "+"))
The rabbit visits the mouse.
True
1
proof
[(triple10)]
("rabbit" "visits" "mouse" "+")
triple10
The mouse is not rough.
False
1
inv-proof
[(triple3)]
("mouse" "is" "rough" "-")
triple3
The mouse likes the cow.
True
2
proof
[(((triple3) -> rule1))]
("mouse" "likes" "cow" "+")
((triple3) -> (rule1 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The mouse does not like the cow.
False
2
inv-proof
[(((triple3) -> rule1))]
("mouse" "likes" "cow" "-")
((triple3) -> (rule1 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The mouse likes the mouse.
True
3
proof
[(((((triple3) -> rule1)) -> rule3))]
("mouse" "likes" "mouse" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int2
The mouse does not like the mouse.
False
3
inv-proof
[(((((triple3) -> rule1)) -> rule3))]
("mouse" "likes" "mouse" "-")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int2
The cow does not see the mouse.
Unknown
inv-rconc
[@3: The cow sees the mouse.[CWA. Example of deepest failure = (rule5 <- rule3 <- rule1 <- FAIL)]]
("cow" "sees" "mouse" "-")
The cow likes the mouse.
Unknown
rconc
[@2: The cow likes the mouse.[CWA. Example of deepest failure = (rule3 <- rule1 <- FAIL)]]
("cow" "likes" "mouse" "+")
The cow does not like the rabbit.
Unknown
inv-rconc
[@1: The cow likes the rabbit.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "likes" "rabbit" "-")
The mouse is blue.
Unknown
random
[@0: The mouse is blue.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "blue" "+")
The cow does not visit the mouse.
Unknown
inv-random
[@0: The cow visits the mouse.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "mouse" "-")
The cow visits the rabbit.
Unknown
random
[@0: The cow visits the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "rabbit" "+")
@0: The cow is cold.[(triple1)] The mouse is nice.[(triple2)] The mouse is rough.[(triple3)] The mouse sees the cow.[(triple4)] The mouse visits the cow.[(triple5)] The mouse visits the rabbit.[(triple6)] The rabbit likes the cow.[(triple7)] The rabbit likes the mouse.[(triple8 OR ((triple7) -> rule3))] The rabbit sees the mouse.[(triple9 OR ((((triple8) -> rule2) triple8) -> rule5) OR ((((triple8) -> rule2) ((triple7) -> rule3)) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) triple8) -> rule5) OR ((((((triple7) -> rule3)) -> rule2) ((triple7) -> rule3)) -> rule5))] The rabbit visits the mouse.[(triple10)] @1: The mouse likes the cow.[(((triple3) -> rule1))] The rabbit sees the rabbit.[(((triple8) -> rule2) OR ((((triple7) -> rule3)) -> rule2))] @2: The mouse likes the mouse.[(((((triple3) -> rule1)) -> rule3))] @3: The mouse sees the rabbit.[(((((((triple3) -> rule1)) -> rule3)) -> rule2))] @4: The mouse sees the mouse.[(((((((((triple3) -> rule1)) -> rule3)) -> rule2) ((((triple3) -> rule1)) -> rule3)) -> rule5))]
The cow is cold.
("cow" "is" "cold" "+")
triple1
The mouse is nice.
("mouse" "is" "nice" "+")
triple2
The mouse is rough.
("mouse" "is" "rough" "+")
triple3
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple4
The mouse visits the cow.
("mouse" "visits" "cow" "+")
triple5
The mouse visits the rabbit.
("mouse" "visits" "rabbit" "+")
triple6
The rabbit likes the cow.
("rabbit" "likes" "cow" "+")
triple7
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
triple8
((triple7) -> (rule3 % int1))
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int1
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
triple9
((((triple8) -> (rule2 % int2)) triple8) -> (rule5 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
((((triple8) -> (rule2 % int3)) ((triple7) -> (rule3 % int2))) -> (rule5 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2)) triple8) -> (rule5 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
((((((triple7) -> (rule3 % int3))) -> (rule2 % int2)) ((triple7) -> (rule3 % int3))) -> (rule5 % int1))
The rabbit sees the mouse.
("rabbit" "sees" "mouse" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int2
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int3
The rabbit visits the mouse.
("rabbit" "visits" "mouse" "+")
triple10
The mouse likes the cow.
("mouse" "likes" "cow" "+")
((triple3) -> (rule1 % int1))
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int1
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
((triple8) -> (rule2 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
((((triple7) -> (rule3 % int2))) -> (rule2 % int1))
The rabbit sees the rabbit.
("rabbit" "sees" "rabbit" "+")
int1
The rabbit likes the mouse.
("rabbit" "likes" "mouse" "+")
int2
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
((((triple3) -> (rule1 % int2))) -> (rule3 % int1))
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int1
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int2
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
((((((triple3) -> (rule1 % int3))) -> (rule3 % int2))) -> (rule2 % int1))
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int1
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int2
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int3
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
((((((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule2 % int2)) ((((triple3) -> (rule1 % int4))) -> (rule3 % int3))) -> (rule5 % int1))
The mouse sees the mouse.
("mouse" "sees" "mouse" "+")
int1
The mouse sees the rabbit.
("mouse" "sees" "rabbit" "+")
int2
The mouse likes the mouse.
("mouse" "likes" "mouse" "+")
int3
The mouse likes the cow.
("mouse" "likes" "cow" "+")
int4