The cow chases the mouse. The cow is kind. The cow is round. The cow is young. The cow sees the mouse. The mouse is nice. The mouse is rough. The mouse is round. The mouse likes the cow. The mouse sees the cow. If something is young then it is kind. If the cow is nice and the cow chases the mouse then the cow likes the mouse. If something sees the cow then it is nice. If something sees the mouse and the mouse chases the cow then the cow chases the mouse. If the mouse chases the cow and the cow sees the mouse then the cow is kind. If the cow sees the mouse and the mouse is rough then the cow is nice.
The cow chases the mouse.
("cow" "chases" "mouse" "+")
The cow is kind.
("cow" "is" "kind" "+")
The cow is round.
("cow" "is" "round" "+")
The cow is young.
("cow" "is" "young" "+")
The cow sees the mouse.
("cow" "sees" "mouse" "+")
The mouse is nice.
("mouse" "is" "nice" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse is round.
("mouse" "is" "round" "+")
The mouse likes the cow.
("mouse" "likes" "cow" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If something is young then it is kind.
((("something" "is" "young" "+")) -> ("something" "is" "kind" "+"))
If the cow is nice and the cow chases the mouse then the cow likes the mouse.
((("cow" "is" "nice" "+") ("cow" "chases" "mouse" "+")) -> ("cow" "likes" "mouse" "+"))
If something sees the cow then it is nice.
((("something" "sees" "cow" "+")) -> ("something" "is" "nice" "+"))
If something sees the mouse and the mouse chases the cow then the cow chases the mouse.
((("something" "sees" "mouse" "+") ("mouse" "chases" "cow" "+")) -> ("cow" "chases" "mouse" "+"))
If the mouse chases the cow and the cow sees the mouse then the cow is kind.
((("mouse" "chases" "cow" "+") ("cow" "sees" "mouse" "+")) -> ("cow" "is" "kind" "+"))
If the cow sees the mouse and the mouse is rough then the cow is nice.
((("cow" "sees" "mouse" "+") ("mouse" "is" "rough" "+")) -> ("cow" "is" "nice" "+"))
The mouse is rough.
True
1
proof
[(triple7)]
("mouse" "is" "rough" "+")
triple7
The mouse does not like the cow.
False
1
inv-proof
[(triple9)]
("mouse" "likes" "cow" "-")
triple9
The cow is nice.
True
3
proof
[(((triple5 triple7) -> rule6))]
("cow" "is" "nice" "+")
((triple5 triple7) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow is not nice.
False
3
inv-proof
[(((triple5 triple7) -> rule6))]
("cow" "is" "nice" "-")
((triple5 triple7) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the mouse.
True
5
proof
[(((((triple5 triple7) -> rule6) triple1) -> rule2))]
("cow" "likes" "mouse" "+")
((((triple5 triple7) -> (rule6 % int2)) triple1) -> (rule2 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The cow does not like the mouse.
False
5
inv-proof
[(((((triple5 triple7) -> rule6) triple1) -> rule2))]
("cow" "likes" "mouse" "-")
((((triple5 triple7) -> (rule6 % int2)) triple1) -> (rule2 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2
The mouse is not kind.
Unknown
inv-rconc
[@1: The mouse is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("mouse" "is" "kind" "-")
The mouse is young.
Unknown
random
[@0: The mouse is young.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "young" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The cow chases the cow.
Unknown
random
[@0: The cow chases the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "chases" "cow" "+")
The cow does not like the cow.
Unknown
inv-random
[@0: The cow likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "likes" "cow" "-")
The mouse sees the mouse.
Unknown
random
[@0: The mouse sees the mouse.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "sees" "mouse" "+")
@0: The cow chases the mouse.[(triple1)] The cow is kind.[(triple2 OR ((triple4) -> rule1))] The cow is round.[(triple3)] The cow is young.[(triple4)] The cow sees the mouse.[(triple5)] The mouse is nice.[(triple6 OR ((triple10) -> rule3))] The mouse is rough.[(triple7)] The mouse is round.[(triple8)] The mouse likes the cow.[(triple9)] The mouse sees the cow.[(triple10)] @1: The cow is nice.[(((triple5 triple7) -> rule6))] @2: The cow likes the mouse.[(((((triple5 triple7) -> rule6) triple1) -> rule2))]
The cow chases the mouse.
("cow" "chases" "mouse" "+")
triple1
The cow is kind.
("cow" "is" "kind" "+")
triple2
((triple4) -> (rule1 % int1))
The cow is kind.
("cow" "is" "kind" "+")
int1
The cow is round.
("cow" "is" "round" "+")
triple3
The cow is young.
("cow" "is" "young" "+")
triple4
The cow sees the mouse.
("cow" "sees" "mouse" "+")
triple5
The mouse is nice.
("mouse" "is" "nice" "+")
triple6
((triple10) -> (rule3 % int1))
The mouse is nice.
("mouse" "is" "nice" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
triple7
The mouse is round.
("mouse" "is" "round" "+")
triple8
The mouse likes the cow.
("mouse" "likes" "cow" "+")
triple9
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple10
The cow is nice.
("cow" "is" "nice" "+")
((triple5 triple7) -> (rule6 % int1))
The cow is nice.
("cow" "is" "nice" "+")
int1
The cow likes the mouse.
("cow" "likes" "mouse" "+")
((((triple5 triple7) -> (rule6 % int2)) triple1) -> (rule2 % int1))
The cow likes the mouse.
("cow" "likes" "mouse" "+")
int1
The cow is nice.
("cow" "is" "nice" "+")
int2