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