The cat chases the mouse. The cat is rough. The cat visits the cow. The cow is red. The cow likes the dog. The cow visits the mouse. The dog is kind. The dog likes the cat. The dog likes the mouse. The dog visits the cow. The mouse chases the cat. The mouse chases the cow. The mouse chases the dog. The mouse is rough. The mouse likes the cat. The mouse likes the dog. If the cow likes the cat then the cat chases the dog. If the cat chases the cow and the cow is rough then the cat visits the cow. If someone is kind and they visit the cow then they chase the dog. If someone likes the dog and the dog likes the cat then they are rough. If someone is rough then they like the cat. If someone chases the cat then the cat chases the mouse.
The cat chases the mouse.
("cat" "chases" "mouse" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cow is red.
("cow" "is" "red" "+")
The cow likes the dog.
("cow" "likes" "dog" "+")
The cow visits the mouse.
("cow" "visits" "mouse" "+")
The dog is kind.
("dog" "is" "kind" "+")
The dog likes the cat.
("dog" "likes" "cat" "+")
The dog likes the mouse.
("dog" "likes" "mouse" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The mouse chases the cat.
("mouse" "chases" "cat" "+")
The mouse chases the cow.
("mouse" "chases" "cow" "+")
The mouse chases the dog.
("mouse" "chases" "dog" "+")
The mouse is rough.
("mouse" "is" "rough" "+")
The mouse likes the cat.
("mouse" "likes" "cat" "+")
The mouse likes the dog.
("mouse" "likes" "dog" "+")
If the cow likes the cat then the cat chases the dog.
((("cow" "likes" "cat" "+")) -> ("cat" "chases" "dog" "+"))
If the cat chases the cow and the cow is rough then the cat visits the cow.
((("cat" "chases" "cow" "+") ("cow" "is" "rough" "+")) -> ("cat" "visits" "cow" "+"))
If someone is kind and they visit the cow then they chase the dog.
((("someone" "is" "kind" "+") ("someone" "visits" "cow" "+")) -> ("someone" "chases" "dog" "+"))
If someone likes the dog and the dog likes the cat then they are rough.
((("someone" "likes" "dog" "+") ("dog" "likes" "cat" "+")) -> ("someone" "is" "rough" "+"))
If someone is rough then they like the cat.
((("someone" "is" "rough" "+")) -> ("someone" "likes" "cat" "+"))
If someone chases the cat then the cat chases the mouse.
((("someone" "chases" "cat" "+")) -> ("cat" "chases" "mouse" "+"))
The cow is red.
True
1
proof
[(triple4)]
("cow" "is" "red" "+")
triple4
The cat is not rough.
False
1
inv-proof
[(triple2)]
("cat" "is" "rough" "-")
triple2
The cat likes the cat.
True
2
proof
[(((triple2) -> rule5))]
("cat" "likes" "cat" "+")
((triple2) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The dog does not chase the dog.
False
3
inv-proof
[(((triple7 triple10) -> rule3))]
("dog" "chases" "dog" "-")
((triple7 triple10) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The cow likes the cat.
True
4
proof
[(((((triple5 triple8) -> rule4)) -> rule5))]
("cow" "likes" "cat" "+")
((((triple5 triple8) -> (rule4 % int2))) -> (rule5 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cow does not like the cat.
False
4
inv-proof
[(((((triple5 triple8) -> rule4)) -> rule5))]
("cow" "likes" "cat" "-")
((((triple5 triple8) -> (rule4 % int2))) -> (rule5 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cat chases the dog.
True
5
proof
[(((((((triple5 triple8) -> rule4)) -> rule5)) -> rule1))]
("cat" "chases" "dog" "+")
((((((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The cat does not chase the dog.
False
5
inv-proof
[(((((((triple5 triple8) -> rule4)) -> rule5)) -> rule1))]
("cat" "chases" "dog" "-")
((((((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3
The dog is not rough.
Unknown
inv-rconc
[@1: The dog is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "is" "rough" "-")
The cow chases the dog.
Unknown
rconc
[@1: The cow chases the dog.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("cow" "chases" "dog" "+")
The cat is not nice.
Unknown
inv-random
[@0: The cat is nice.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "nice" "-")
The mouse likes the cow.
Unknown
random
[@0: The mouse likes the cow.[CWA. Example of deepest failure = (FAIL)]]
("mouse" "likes" "cow" "+")
The dog is not nice.
Unknown
inv-random
[@0: The dog is nice.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "nice" "-")
The cow visits the cow.
Unknown
random
[@0: The cow visits the cow.[CWA. Example of deepest failure = (FAIL)]]
("cow" "visits" "cow" "+")
The dog does not like the dog.
Unknown
inv-random
[@0: The dog likes the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "likes" "dog" "-")
The dog visits the dog.
Unknown
random
[@0: The dog visits the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "visits" "dog" "+")
@0: The cat chases the mouse.[(triple1 OR ((triple11) -> rule6))] The cat is rough.[(triple2)] The cat visits the cow.[(triple3)] The cow is red.[(triple4)] The cow likes the dog.[(triple5)] The cow visits the mouse.[(triple6)] The dog is kind.[(triple7)] The dog likes the cat.[(triple8)] The dog likes the mouse.[(triple9)] The dog visits the cow.[(triple10)] The mouse chases the cat.[(triple11)] The mouse chases the cow.[(triple12)] The mouse chases the dog.[(triple13)] The mouse is rough.[(triple14 OR ((triple16 triple8) -> rule4))] The mouse likes the cat.[(triple15 OR ((triple14) -> rule5) OR ((((triple16 triple8) -> rule4)) -> rule5))] The mouse likes the dog.[(triple16)] @1: The cat likes the cat.[(((triple2) -> rule5))] The cow is rough.[(((triple5 triple8) -> rule4))] The dog chases the dog.[(((triple7 triple10) -> rule3))] @2: The cow likes the cat.[(((((triple5 triple8) -> rule4)) -> rule5))] @3: The cat chases the dog.[(((((((triple5 triple8) -> rule4)) -> rule5)) -> rule1))]
The cat chases the mouse.
("cat" "chases" "mouse" "+")
triple1
((triple11) -> (rule6 % int1))
The cat chases the mouse.
("cat" "chases" "mouse" "+")
int1
The cat is rough.
("cat" "is" "rough" "+")
triple2
The cat visits the cow.
("cat" "visits" "cow" "+")
triple3
The cow is red.
("cow" "is" "red" "+")
triple4
The cow likes the dog.
("cow" "likes" "dog" "+")
triple5
The cow visits the mouse.
("cow" "visits" "mouse" "+")
triple6
The dog is kind.
("dog" "is" "kind" "+")
triple7
The dog likes the cat.
("dog" "likes" "cat" "+")
triple8
The dog likes the mouse.
("dog" "likes" "mouse" "+")
triple9
The dog visits the cow.
("dog" "visits" "cow" "+")
triple10
The mouse chases the cat.
("mouse" "chases" "cat" "+")
triple11
The mouse chases the cow.
("mouse" "chases" "cow" "+")
triple12
The mouse chases the dog.
("mouse" "chases" "dog" "+")
triple13
The mouse is rough.
("mouse" "is" "rough" "+")
triple14
((triple16 triple8) -> (rule4 % int1))
The mouse is rough.
("mouse" "is" "rough" "+")
int1
The mouse likes the cat.
("mouse" "likes" "cat" "+")
triple15
((triple14) -> (rule5 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
((((triple16 triple8) -> (rule4 % int2))) -> (rule5 % int1))
The mouse likes the cat.
("mouse" "likes" "cat" "+")
int1
The mouse is rough.
("mouse" "is" "rough" "+")
int2
The mouse likes the dog.
("mouse" "likes" "dog" "+")
triple16
The cat likes the cat.
("cat" "likes" "cat" "+")
((triple2) -> (rule5 % int1))
The cat likes the cat.
("cat" "likes" "cat" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
((triple5 triple8) -> (rule4 % int1))
The cow is rough.
("cow" "is" "rough" "+")
int1
The dog chases the dog.
("dog" "chases" "dog" "+")
((triple7 triple10) -> (rule3 % int1))
The dog chases the dog.
("dog" "chases" "dog" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
((((triple5 triple8) -> (rule4 % int2))) -> (rule5 % int1))
The cow likes the cat.
("cow" "likes" "cat" "+")
int1
The cow is rough.
("cow" "is" "rough" "+")
int2
The cat chases the dog.
("cat" "chases" "dog" "+")
((((((triple5 triple8) -> (rule4 % int3))) -> (rule5 % int2))) -> (rule1 % int1))
The cat chases the dog.
("cat" "chases" "dog" "+")
int1
The cow likes the cat.
("cow" "likes" "cat" "+")
int2
The cow is rough.
("cow" "is" "rough" "+")
int3