The cat chases the lion. The cat needs the lion. The dog chases the cat. The dog is blue. The dog is green. The dog needs the lion. The dog sees the lion. The lion chases the cat. The lion is rough. The lion needs the cat. The lion needs the dog. The lion sees the cat. If someone is round then they see the cat. If someone needs the lion then the lion chases the cat. If the dog sees the cat and the cat is rough then the dog needs the lion. If someone sees the lion and the lion needs the cat then the cat sees the dog. If someone sees the dog then they are green. If someone needs the dog and they are green then they need the lion.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The dog chases the cat.
("dog" "chases" "cat" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is green.
("dog" "is" "green" "+")
The dog needs the lion.
("dog" "needs" "lion" "+")
The dog sees the lion.
("dog" "sees" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the dog.
("lion" "needs" "dog" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
If someone is round then they see the cat.
((("someone" "is" "round" "+")) -> ("someone" "sees" "cat" "+"))
If someone needs the lion then the lion chases the cat.
((("someone" "needs" "lion" "+")) -> ("lion" "chases" "cat" "+"))
If the dog sees the cat and the cat is rough then the dog needs the lion.
((("dog" "sees" "cat" "+") ("cat" "is" "rough" "+")) -> ("dog" "needs" "lion" "+"))
If someone sees the lion and the lion needs the cat then the cat sees the dog.
((("someone" "sees" "lion" "+") ("lion" "needs" "cat" "+")) -> ("cat" "sees" "dog" "+"))
If someone sees the dog then they are green.
((("someone" "sees" "dog" "+")) -> ("someone" "is" "green" "+"))
If someone needs the dog and they are green then they need the lion.
((("someone" "needs" "dog" "+") ("someone" "is" "green" "+")) -> ("someone" "needs" "lion" "+"))
The dog is blue.
True
1
proof
[(triple4)]
("dog" "is" "blue" "+")
triple4
The dog does not chase the cat.
False
1
inv-proof
[(triple3)]
("dog" "chases" "cat" "-")
triple3
The cat sees the dog.
True
3
proof
[(((triple7 triple10) -> rule4))]
("cat" "sees" "dog" "+")
((triple7 triple10) -> (rule4 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
The cat does not see the dog.
False
3
inv-proof
[(((triple7 triple10) -> rule4))]
("cat" "sees" "dog" "-")
((triple7 triple10) -> (rule4 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
The dog does not see the cat.
Unknown
inv-rconc
[@1: The dog sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("dog" "sees" "cat" "-")
The cat sees the cat.
Unknown
rconc
[@1: The cat sees the cat.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "sees" "cat" "+")
The cat does not chase the dog.
Unknown
inv-random
[@0: The cat chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("cat" "chases" "dog" "-")
The cat sees the lion.
Unknown
random
[@0: The cat sees the lion.[CWA. Example of deepest failure = (FAIL)]]
("cat" "sees" "lion" "+")
@0: The cat chases the lion.[(triple1)] The cat needs the lion.[(triple2)] The dog chases the cat.[(triple3)] The dog is blue.[(triple4)] The dog is green.[(triple5)] The dog needs the lion.[(triple6)] The dog sees the lion.[(triple7)] The lion chases the cat.[(triple8 OR ((triple2) -> rule2) OR ((triple6) -> rule2))] The lion is rough.[(triple9)] The lion needs the cat.[(triple10)] The lion needs the dog.[(triple11)] The lion sees the cat.[(triple12)] @1: The cat sees the dog.[(((triple7 triple10) -> rule4))] @2: The cat is green.[(((((triple7 triple10) -> rule4)) -> rule5))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat needs the lion.
("cat" "needs" "lion" "+")
triple2
The dog chases the cat.
("dog" "chases" "cat" "+")
triple3
The dog is blue.
("dog" "is" "blue" "+")
triple4
The dog is green.
("dog" "is" "green" "+")
triple5
The dog needs the lion.
("dog" "needs" "lion" "+")
triple6
The dog sees the lion.
("dog" "sees" "lion" "+")
triple7
The lion chases the cat.
("lion" "chases" "cat" "+")
triple8
((triple2) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
((triple6) -> (rule2 % int1))
The lion chases the cat.
("lion" "chases" "cat" "+")
int1
The lion is rough.
("lion" "is" "rough" "+")
triple9
The lion needs the cat.
("lion" "needs" "cat" "+")
triple10
The lion needs the dog.
("lion" "needs" "dog" "+")
triple11
The lion sees the cat.
("lion" "sees" "cat" "+")
triple12
The cat sees the dog.
("cat" "sees" "dog" "+")
((triple7 triple10) -> (rule4 % int1))
The cat sees the dog.
("cat" "sees" "dog" "+")
int1
The cat is green.
("cat" "is" "green" "+")
((((triple7 triple10) -> (rule4 % int2))) -> (rule5 % int1))
The cat is green.
("cat" "is" "green" "+")
int1
The cat sees the dog.
("cat" "sees" "dog" "+")
int2