The dog chases the lion. The dog chases the rabbit. The dog is blue. The dog is cold. The dog is round. The dog needs the lion. The dog visits the lion. The dog visits the rabbit. The lion chases the dog. The lion is blue. The lion is red. The lion is round. The lion needs the rabbit. The rabbit is blue. The rabbit is red. If someone needs the rabbit then the rabbit visits the dog. If someone visits the rabbit and the rabbit needs the dog then they visit the dog. If the dog chases the rabbit and the dog needs the rabbit then the dog visits the rabbit.
The dog chases the lion.
("dog" "chases" "lion" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is round.
("dog" "is" "round" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog visits the lion.
("dog" "visits" "lion" "+")
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion is blue.
("lion" "is" "blue" "+")
The lion is red.
("lion" "is" "red" "+")
The lion is round.
("lion" "is" "round" "+")
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
The rabbit is blue.
("rabbit" "is" "blue" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
If someone needs the rabbit then the rabbit visits the dog.
((("someone" "needs" "rabbit" "+")) -> ("rabbit" "visits" "dog" "+"))
If someone visits the rabbit and the rabbit needs the dog then they visit the dog.
((("someone" "visits" "rabbit" "+") ("rabbit" "needs" "dog" "+")) -> ("someone" "visits" "dog" "+"))
If the dog chases the rabbit and the dog needs the rabbit then the dog visits the rabbit.
((("dog" "chases" "rabbit" "+") ("dog" "needs" "rabbit" "+")) -> ("dog" "visits" "rabbit" "+"))
The rabbit is red.
True
1
proof
[(triple15)]
("rabbit" "is" "red" "+")
triple15
The dog does not chase the lion.
False
1
inv-proof
[(triple1)]
("dog" "chases" "lion" "-")
triple1
The rabbit visits the dog.
True
2
proof
[(((triple13) -> rule1))]
("rabbit" "visits" "dog" "+")
((triple13) -> (rule1 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The rabbit does not visit the dog.
False
2
inv-proof
[(((triple13) -> rule1))]
("rabbit" "visits" "dog" "-")
((triple13) -> (rule1 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1
The dog does not visit the dog.
Unknown
inv-rconc
[@1: The dog visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("dog" "visits" "dog" "-")
The lion visits the dog.
Unknown
rconc
[@1: The lion visits the dog.[CWA. Example of deepest failure = (rule2 <- FAIL)]]
("lion" "visits" "dog" "+")
The dog is not red.
Unknown
inv-random
[@0: The dog is red.[CWA. Example of deepest failure = (FAIL)]]
("dog" "is" "red" "-")
The lion visits the lion.
Unknown
random
[@0: The lion visits the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "visits" "lion" "+")
@0: The dog chases the lion.[(triple1)] The dog chases the rabbit.[(triple2)] The dog is blue.[(triple3)] The dog is cold.[(triple4)] The dog is round.[(triple5)] The dog needs the lion.[(triple6)] The dog visits the lion.[(triple7)] The dog visits the rabbit.[(triple8)] The lion chases the dog.[(triple9)] The lion is blue.[(triple10)] The lion is red.[(triple11)] The lion is round.[(triple12)] The lion needs the rabbit.[(triple13)] The rabbit is blue.[(triple14)] The rabbit is red.[(triple15)] @1: The rabbit visits the dog.[(((triple13) -> rule1))]
The dog chases the lion.
("dog" "chases" "lion" "+")
triple1
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple2
The dog is blue.
("dog" "is" "blue" "+")
triple3
The dog is cold.
("dog" "is" "cold" "+")
triple4
The dog is round.
("dog" "is" "round" "+")
triple5
The dog needs the lion.
("dog" "needs" "lion" "+")
triple6
The dog visits the lion.
("dog" "visits" "lion" "+")
triple7
The dog visits the rabbit.
("dog" "visits" "rabbit" "+")
triple8
The lion chases the dog.
("lion" "chases" "dog" "+")
triple9
The lion is blue.
("lion" "is" "blue" "+")
triple10
The lion is red.
("lion" "is" "red" "+")
triple11
The lion is round.
("lion" "is" "round" "+")
triple12
The lion needs the rabbit.
("lion" "needs" "rabbit" "+")
triple13
The rabbit is blue.
("rabbit" "is" "blue" "+")
triple14
The rabbit is red.
("rabbit" "is" "red" "+")
triple15
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
((triple13) -> (rule1 % int1))
The rabbit visits the dog.
("rabbit" "visits" "dog" "+")
int1