The cat chases the dog. The cat chases the rabbit. The cat is round. The cat visits the rabbit. The dog is round. The rabbit eats the cat. The tiger eats the rabbit. If someone eats the tiger then they are kind.
The cat chases the dog.
("cat" "chases" "dog" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is round.
("cat" "is" "round" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog is round.
("dog" "is" "round" "+")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
If someone eats the tiger then they are kind.
((("someone" "eats" "tiger" "+")) -> ("someone" "is" "kind" "+"))
The cat visits the rabbit.
True
1
proof
[(triple4)]
("cat" "visits" "rabbit" "+")
triple4
The cat is not round.
False
1
inv-proof
[(triple3)]
("cat" "is" "round" "-")
triple3
The cat is not kind.
Unknown
inv-rconc
[@1: The cat is kind.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "kind" "-")
The tiger chases the rabbit.
Unknown
random
[@0: The tiger chases the rabbit.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "chases" "rabbit" "+")
@0: The cat chases the dog.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is round.[(triple3)] The cat visits the rabbit.[(triple4)] The dog is round.[(triple5)] The rabbit eats the cat.[(triple6)] The tiger eats the rabbit.[(triple7)]
The cat chases the dog.
("cat" "chases" "dog" "+")
triple1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple2
The cat is round.
("cat" "is" "round" "+")
triple3
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple6
The tiger eats the rabbit.
("tiger" "eats" "rabbit" "+")
triple7