The cat chases the rabbit. The cat is nice. The cat visits the rabbit. The dog eats the cat. The dog is red. The dog visits the lion. The dog visits the rabbit. The lion chases the rabbit. The lion eats the rabbit. The lion is red. The rabbit eats the dog. The rabbit visits the lion. If someone chases the rabbit then they chase the lion. If someone chases the lion then they visit the rabbit. If someone is nice and they eat the rabbit then they eat the dog. If someone is cold then they visit the lion. If someone visits the lion then they are red. If someone visits the dog then they eat the dog.
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog eats the cat.
("dog" "eats" "cat" "+")
The dog is red.
("dog" "is" "red" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
The lion is red.
("lion" "is" "red" "+")
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If someone chases the rabbit then they chase the lion.
((("someone" "chases" "rabbit" "+")) -> ("someone" "chases" "lion" "+"))
If someone chases the lion then they visit the rabbit.
((("someone" "chases" "lion" "+")) -> ("someone" "visits" "rabbit" "+"))
If someone is nice and they eat the rabbit then they eat the dog.
((("someone" "is" "nice" "+") ("someone" "eats" "rabbit" "+")) -> ("someone" "eats" "dog" "+"))
If someone is cold then they visit the lion.
((("someone" "is" "cold" "+")) -> ("someone" "visits" "lion" "+"))
If someone visits the lion then they are red.
((("someone" "visits" "lion" "+")) -> ("someone" "is" "red" "+"))
If someone visits the dog then they eat the dog.
((("someone" "visits" "dog" "+")) -> ("someone" "eats" "dog" "+"))
The lion chases the rabbit.
True
1
proof
[(triple8)]
("lion" "chases" "rabbit" "+")
triple8
The dog does not visit the lion.
False
1
inv-proof
[(triple6)]
("dog" "visits" "lion" "-")
triple6
The lion chases the lion.
True
2
proof
[(((triple8) -> rule1))]
("lion" "chases" "lion" "+")
((triple8) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The cat does not chase the lion.
False
2
inv-proof
[(((triple1) -> rule1))]
("cat" "chases" "lion" "-")
((triple1) -> (rule1 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The lion visits the rabbit.
True
3
proof
[(((((triple8) -> rule1)) -> rule2))]
("lion" "visits" "rabbit" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The lion does not visit the rabbit.
False
3
inv-proof
[(((((triple8) -> rule1)) -> rule2))]
("lion" "visits" "rabbit" "-")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2
The dog does not chase the lion.
Unknown
inv-rconc
[@1: The dog chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "chases" "lion" "-")
The lion visits the lion.
Unknown
rconc
[@1: The lion visits the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("lion" "visits" "lion" "+")
The rabbit does not chase the lion.
Unknown
inv-rconc
[@1: The rabbit chases the lion.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("rabbit" "chases" "lion" "-")
The cat visits the cat.
Unknown
random
[@0: The cat visits the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "visits" "cat" "+")
The cat is not cold.
Unknown
inv-random
[@0: The cat is cold.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "cold" "-")
The dog is kind.
Unknown
random
[@0: The dog is kind.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "kind" "+")
@0: The cat chases the rabbit.[(triple1)] The cat is nice.[(triple2)] The cat visits the rabbit.[(triple3 OR ((((triple1) -> rule1)) -> rule2))] The dog eats the cat.[(triple4)] The dog is red.[(triple5 OR ((triple6) -> rule5))] The dog visits the lion.[(triple6)] The dog visits the rabbit.[(triple7)] The lion chases the rabbit.[(triple8)] The lion eats the rabbit.[(triple9)] The lion is red.[(triple10)] The rabbit eats the dog.[(triple11)] The rabbit visits the lion.[(triple12)] @1: The cat chases the lion.[(((triple1) -> rule1))] The lion chases the lion.[(((triple8) -> rule1))] The rabbit is red.[(((triple12) -> rule5))] @2: The lion visits the rabbit.[(((((triple8) -> rule1)) -> rule2))]
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple1
The cat is nice.
("cat" "is" "nice" "+")
triple2
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple3
((((triple1) -> (rule1 % int2))) -> (rule2 % int1))
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
int1
The cat chases the lion.
("cat" "chases" "lion" "+")
int2
The dog eats the cat.
("dog" "eats" "cat" "+")
triple4
The dog is red.
("dog" "is" "red" "+")
triple5
((triple6) -> (rule5 % int1))
The dog is red.
("dog" "is" "red" "+")
int1
The dog visits the lion.
("dog" "visits" "lion" "+")
triple6
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple7
The lion chases the rabbit.
("lion" "chases" "rabbit" "+")
triple8
The lion eats the rabbit.
("lion" "eats" "rabbit" "+")
triple9
The lion is red.
("lion" "is" "red" "+")
triple10
The rabbit eats the dog.
("rabbit" "eats" "dog" "+")
triple11
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple12
The cat chases the lion.
("cat" "chases" "lion" "+")
((triple1) -> (rule1 % int1))
The cat chases the lion.
("cat" "chases" "lion" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple8) -> (rule1 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The rabbit is red.
("rabbit" "is" "red" "+")
((triple12) -> (rule5 % int1))
The rabbit is red.
("rabbit" "is" "red" "+")
int1
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
((((triple8) -> (rule1 % int2))) -> (rule2 % int1))
The lion visits the rabbit.
("lion" "visits" "rabbit" "+")
int1
The lion chases the lion.
("lion" "chases" "lion" "+")
int2