The cat chases the lion. The cat is cold. The cat is young. The cat needs the dog. The cat needs the lion. The cat visits the dog. The cat visits the rabbit. The dog chases the rabbit. The dog is cold. The dog is rough. The dog needs the cat. The lion chases the dog. The lion visits the dog. The rabbit chases the dog. The rabbit needs the dog. The rabbit visits the lion. If something chases the lion and the lion visits the rabbit then the rabbit is kind. If something is young then it needs the cat. If something visits the rabbit and the rabbit chases the lion then the rabbit is young. If something visits the dog then the dog chases the lion. If something is nice then it is young. If something is rough then it chases the lion.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is cold.
("cat" "is" "cold" "+")
The cat is young.
("cat" "is" "young" "+")
The cat needs the dog.
("cat" "needs" "dog" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cat visits the dog.
("cat" "visits" "dog" "+")
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
The dog is cold.
("dog" "is" "cold" "+")
The dog is rough.
("dog" "is" "rough" "+")
The dog needs the cat.
("dog" "needs" "cat" "+")
The lion chases the dog.
("lion" "chases" "dog" "+")
The lion visits the dog.
("lion" "visits" "dog" "+")
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
If something chases the lion and the lion visits the rabbit then the rabbit is kind.
((("something" "chases" "lion" "+") ("lion" "visits" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
If something is young then it needs the cat.
((("something" "is" "young" "+")) -> ("something" "needs" "cat" "+"))
If something visits the rabbit and the rabbit chases the lion then the rabbit is young.
((("something" "visits" "rabbit" "+") ("rabbit" "chases" "lion" "+")) -> ("rabbit" "is" "young" "+"))
If something visits the dog then the dog chases the lion.
((("something" "visits" "dog" "+")) -> ("dog" "chases" "lion" "+"))
If something is nice then it is young.
((("something" "is" "nice" "+")) -> ("something" "is" "young" "+"))
If something is rough then it chases the lion.
((("something" "is" "rough" "+")) -> ("something" "chases" "lion" "+"))
The cat needs the lion.
True
1
proof
[(triple5)]
("cat" "needs" "lion" "+")
triple5
The dog does not chase the rabbit.
False
1
inv-proof
[(triple8)]
("dog" "chases" "rabbit" "-")
triple8
The dog chases the lion.
True
2
proof
[(((triple10) -> rule6) OR ((triple13) -> rule4) OR ((triple6) -> rule4))]
("dog" "chases" "lion" "+")
((triple10) -> (rule6 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
((triple13) -> (rule4 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
((triple6) -> (rule4 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog does not chase the lion.
False
2
inv-proof
[(((triple10) -> rule6) OR ((triple13) -> rule4) OR ((triple6) -> rule4))]
("dog" "chases" "lion" "-")
((triple10) -> (rule6 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
((triple13) -> (rule4 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
((triple6) -> (rule4 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
The dog is not young.
Unknown
inv-rconc
[@1: The dog is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("dog" "is" "young" "-")
The lion is young.
Unknown
rconc
[@1: The lion is young.[CWA. Example of deepest failure = (rule5 <- FAIL)]]
("lion" "is" "young" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The rabbit chases the cat.
Unknown
random
[@0: The rabbit chases the cat.[CWA. Example of deepest failure = (FAIL)]]
("rabbit" "chases" "cat" "+")
@0: The cat chases the lion.[(triple1)] The cat is cold.[(triple2)] The cat is young.[(triple3)] The cat needs the dog.[(triple4)] The cat needs the lion.[(triple5)] The cat visits the dog.[(triple6)] The cat visits the rabbit.[(triple7)] The dog chases the rabbit.[(triple8)] The dog is cold.[(triple9)] The dog is rough.[(triple10)] The dog needs the cat.[(triple11)] The lion chases the dog.[(triple12)] The lion visits the dog.[(triple13)] The rabbit chases the dog.[(triple14)] The rabbit needs the dog.[(triple15)] The rabbit visits the lion.[(triple16)] @1: The cat needs the cat.[(((triple3) -> rule2))] The dog chases the lion.[(((triple10) -> rule6) OR ((triple13) -> rule4) OR ((triple6) -> rule4))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat is cold.
("cat" "is" "cold" "+")
triple2
The cat is young.
("cat" "is" "young" "+")
triple3
The cat needs the dog.
("cat" "needs" "dog" "+")
triple4
The cat needs the lion.
("cat" "needs" "lion" "+")
triple5
The cat visits the dog.
("cat" "visits" "dog" "+")
triple6
The cat visits the rabbit.
("cat" "visits" "rabbit" "+")
triple7
The dog chases the rabbit.
("dog" "chases" "rabbit" "+")
triple8
The dog is cold.
("dog" "is" "cold" "+")
triple9
The dog is rough.
("dog" "is" "rough" "+")
triple10
The dog needs the cat.
("dog" "needs" "cat" "+")
triple11
The lion chases the dog.
("lion" "chases" "dog" "+")
triple12
The lion visits the dog.
("lion" "visits" "dog" "+")
triple13
The rabbit chases the dog.
("rabbit" "chases" "dog" "+")
triple14
The rabbit needs the dog.
("rabbit" "needs" "dog" "+")
triple15
The rabbit visits the lion.
("rabbit" "visits" "lion" "+")
triple16
The cat needs the cat.
("cat" "needs" "cat" "+")
((triple3) -> (rule2 % int1))
The cat needs the cat.
("cat" "needs" "cat" "+")
int1
The dog chases the lion.
("dog" "chases" "lion" "+")
((triple10) -> (rule6 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
((triple13) -> (rule4 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1
((triple6) -> (rule4 % int1))
The dog chases the lion.
("dog" "chases" "lion" "+")
int1