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