The cat needs the tiger. The cow likes the cat. The cow visits the cat. The cow visits the dog. The dog is rough. The dog visits the cow. The tiger is rough. Rough people are round.
The cat needs the tiger.
("cat" "needs" "tiger" "+")
The cow likes the cat.
("cow" "likes" "cat" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the dog.
("cow" "visits" "dog" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog visits the cow.
("dog" "visits" "cow" "+")
The tiger is rough.
("tiger" "is" "rough" "+")
Rough people are round.
((("someone" "is" "rough" "+")) -> ("someone" "is" "round" "+"))
The dog is rough.
True
1
proof
[(triple5)]
("dog" "is" "rough" "+")
triple5
The dog does not visit the cow.
False
1
inv-proof
[(triple6)]
("dog" "visits" "cow" "-")
triple6
The tiger is round.
True
2
proof
[(((triple7) -> rule1))]
("tiger" "is" "round" "+")
((triple7) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The tiger is not round.
False
2
inv-proof
[(((triple7) -> rule1))]
("tiger" "is" "round" "-")
((triple7) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1
The cow is not round.
Unknown
inv-rconc
[@1: The cow is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cow" "is" "round" "-")
The cat is round.
Unknown
rconc
[@1: The cat is round.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "round" "+")
The dog does not need the tiger.
Unknown
inv-random
[@0: The dog needs the tiger.[CWA. Example of deepest failure = (FAIL)]]
("dog" "needs" "tiger" "-")
The cow is rough.
Unknown
random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "+")
@0: The cat needs the tiger.[(triple1)] The cow likes the cat.[(triple2)] The cow visits the cat.[(triple3)] The cow visits the dog.[(triple4)] The dog is rough.[(triple5)] The dog visits the cow.[(triple6)] The tiger is rough.[(triple7)] @1: The dog is round.[(((triple5) -> rule1))] The tiger is round.[(((triple7) -> rule1))]
The cat needs the tiger.
("cat" "needs" "tiger" "+")
triple1
The cow likes the cat.
("cow" "likes" "cat" "+")
triple2
The cow visits the cat.
("cow" "visits" "cat" "+")
triple3
The cow visits the dog.
("cow" "visits" "dog" "+")
triple4
The dog is rough.
("dog" "is" "rough" "+")
triple5
The dog visits the cow.
("dog" "visits" "cow" "+")
triple6
The tiger is rough.
("tiger" "is" "rough" "+")
triple7
The dog is round.
("dog" "is" "round" "+")
((triple5) -> (rule1 % int1))
The dog is round.
("dog" "is" "round" "+")
int1
The tiger is round.
("tiger" "is" "round" "+")
((triple7) -> (rule1 % int1))
The tiger is round.
("tiger" "is" "round" "+")
int1