The cat chases the cow. The cat chases the mouse. The cat is big. The cat is nice. The cat is round. The cat needs the cow. The cat needs the mouse. The cat sees the cow. The cow is nice. The cow needs the cat. The cow needs the mouse. The cow sees the cat. The mouse chases the cow. The mouse needs the cow. The mouse sees the cow. If someone sees the cat and the cat is young then they are green. If someone chases the cow then the cow is young.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is big.
("cat" "is" "big" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is round.
("cat" "is" "round" "+")
The cat needs the cow.
("cat" "needs" "cow" "+")
The cat needs the mouse.
("cat" "needs" "mouse" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cow is nice.
("cow" "is" "nice" "+")
The cow needs the cat.
("cow" "needs" "cat" "+")
The cow needs the mouse.
("cow" "needs" "mouse" "+")
The cow sees the cat.
("cow" "sees" "cat" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse needs the cow.
("mouse" "needs" "cow" "+")
The mouse sees the cow.
("mouse" "sees" "cow" "+")
If someone sees the cat and the cat is young then they are green.
((("someone" "sees" "cat" "+") ("cat" "is" "young" "+")) -> ("someone" "is" "green" "+"))
If someone chases the cow then the cow is young.
((("someone" "chases" "cow" "+")) -> ("cow" "is" "young" "+"))
The cat sees the cow.
True
1
proof
[(triple8)]
("cat" "sees" "cow" "+")
triple8
The cow does not need the mouse.
False
1
inv-proof
[(triple11)]
("cow" "needs" "mouse" "-")
triple11
The cow is young.
True
2
proof
[(((triple1) -> rule2) OR ((triple13) -> rule2))]
("cow" "is" "young" "+")
((triple1) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((triple13) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not young.
False
2
inv-proof
[(((triple1) -> rule2) OR ((triple13) -> rule2))]
("cow" "is" "young" "-")
((triple1) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((triple13) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
The cow is not green.
Unknown
inv-rconc
[@1: The cow is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "green" "-")
The cat is green.
Unknown
rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "+")
The mouse is not big.
Unknown
inv-random
[@0: The mouse is big.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "big" "-")
The mouse is nice.
Unknown
random
[@0: The mouse is nice.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "is" "nice" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the mouse.[(triple2)] The cat is big.[(triple3)] The cat is nice.[(triple4)] The cat is round.[(triple5)] The cat needs the cow.[(triple6)] The cat needs the mouse.[(triple7)] The cat sees the cow.[(triple8)] The cow is nice.[(triple9)] The cow needs the cat.[(triple10)] The cow needs the mouse.[(triple11)] The cow sees the cat.[(triple12)] The mouse chases the cow.[(triple13)] The mouse needs the cow.[(triple14)] The mouse sees the cow.[(triple15)] @1: The cow is young.[(((triple1) -> rule2) OR ((triple13) -> rule2))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple2
The cat is big.
("cat" "is" "big" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is round.
("cat" "is" "round" "+")
triple5
The cat needs the cow.
("cat" "needs" "cow" "+")
triple6
The cat needs the mouse.
("cat" "needs" "mouse" "+")
triple7
The cat sees the cow.
("cat" "sees" "cow" "+")
triple8
The cow is nice.
("cow" "is" "nice" "+")
triple9
The cow needs the cat.
("cow" "needs" "cat" "+")
triple10
The cow needs the mouse.
("cow" "needs" "mouse" "+")
triple11
The cow sees the cat.
("cow" "sees" "cat" "+")
triple12
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple13
The mouse needs the cow.
("mouse" "needs" "cow" "+")
triple14
The mouse sees the cow.
("mouse" "sees" "cow" "+")
triple15
The cow is young.
("cow" "is" "young" "+")
((triple1) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1
((triple13) -> (rule2 % int1))
The cow is young.
("cow" "is" "young" "+")
int1