The cat chases the cow. The cat is green. The cat is nice. The cat needs the lion. The cow chases the cat. The cow is blue. The cow visits the lion. The lion chases the cat. The lion chases the cow. The lion is big. The lion is nice. The lion is rough. The lion needs the cat. The lion needs the cow. The lion visits the cat. The lion visits the cow. If someone is blue then they visit the lion. If someone is blue and they chase the cow then they are green. If someone chases the cat and the cat chases the lion then they visit the cow. If someone visits the cat then they chase the lion. If someone needs the lion and they chase the lion then they are green. If the lion chases the cow and the cow is green then the lion needs the cow. If someone is rough and they chase the cat then they chase the cow. If someone needs the lion and they chase the lion then the lion chases the cow.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat needs the lion.
("cat" "needs" "lion" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow is blue.
("cow" "is" "blue" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion chases the cat.
("lion" "chases" "cat" "+")
The lion chases the cow.
("lion" "chases" "cow" "+")
The lion is big.
("lion" "is" "big" "+")
The lion is nice.
("lion" "is" "nice" "+")
The lion is rough.
("lion" "is" "rough" "+")
The lion needs the cat.
("lion" "needs" "cat" "+")
The lion needs the cow.
("lion" "needs" "cow" "+")
The lion visits the cat.
("lion" "visits" "cat" "+")
The lion visits the cow.
("lion" "visits" "cow" "+")
If someone is blue then they visit the lion.
((("someone" "is" "blue" "+")) -> ("someone" "visits" "lion" "+"))
If someone is blue and they chase the cow then they are green.
((("someone" "is" "blue" "+") ("someone" "chases" "cow" "+")) -> ("someone" "is" "green" "+"))
If someone chases the cat and the cat chases the lion then they visit the cow.
((("someone" "chases" "cat" "+") ("cat" "chases" "lion" "+")) -> ("someone" "visits" "cow" "+"))
If someone visits the cat then they chase the lion.
((("someone" "visits" "cat" "+")) -> ("someone" "chases" "lion" "+"))
If someone needs the lion and they chase the lion then they are green.
((("someone" "needs" "lion" "+") ("someone" "chases" "lion" "+")) -> ("someone" "is" "green" "+"))
If the lion chases the cow and the cow is green then the lion needs the cow.
((("lion" "chases" "cow" "+") ("cow" "is" "green" "+")) -> ("lion" "needs" "cow" "+"))
If someone is rough and they chase the cat then they chase the cow.
((("someone" "is" "rough" "+") ("someone" "chases" "cat" "+")) -> ("someone" "chases" "cow" "+"))
If someone needs the lion and they chase the lion then the lion chases the cow.
((("someone" "needs" "lion" "+") ("someone" "chases" "lion" "+")) -> ("lion" "chases" "cow" "+"))
The cow chases the cat.
True
1
proof
[(triple5)]
("cow" "chases" "cat" "+")
triple5
The cat does not need the lion.
False
1
inv-proof
[(triple4)]
("cat" "needs" "lion" "-")
triple4
The lion chases the lion.
True
2
proof
[(((triple15) -> rule4))]
("lion" "chases" "lion" "+")
((triple15) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The lion does not chase the lion.
False
2
inv-proof
[(((triple15) -> rule4))]
("lion" "chases" "lion" "-")
((triple15) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1
The cat does not chase the lion.
Unknown
inv-rconc
[@1: The cat chases the lion.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cat" "chases" "lion" "-")
The cow visits the cow.
Unknown
rconc
[@2: The cow visits the cow.[CWA. Example of deepest failure = (rule3 <- rule4 <- FAIL)]]
("cow" "visits" "cow" "+")
The cow is not rough.
Unknown
inv-random
[@0: The cow is rough.[CWA. Example of deepest failure = (FAIL)]]
("cow" "is" "rough" "-")
The cat is rough.
Unknown
random
[@0: The cat is rough.[CWA. Example of deepest failure = (FAIL)]]
("cat" "is" "rough" "+")
@0: The cat chases the cow.[(triple1)] The cat is green.[(triple2)] The cat is nice.[(triple3)] The cat needs the lion.[(triple4)] The cow chases the cat.[(triple5)] The cow is blue.[(triple6)] The cow visits the lion.[(triple7 OR ((triple6) -> rule1))] The lion chases the cat.[(triple8)] The lion chases the cow.[(triple9 OR ((triple12 triple8) -> rule7))] The lion is big.[(triple10)] The lion is nice.[(triple11)] The lion is rough.[(triple12)] The lion needs the cat.[(triple13)] The lion needs the cow.[(triple14)] The lion visits the cat.[(triple15)] The lion visits the cow.[(triple16)] @1: The lion chases the lion.[(((triple15) -> rule4))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat is green.
("cat" "is" "green" "+")
triple2
The cat is nice.
("cat" "is" "nice" "+")
triple3
The cat needs the lion.
("cat" "needs" "lion" "+")
triple4
The cow chases the cat.
("cow" "chases" "cat" "+")
triple5
The cow is blue.
("cow" "is" "blue" "+")
triple6
The cow visits the lion.
("cow" "visits" "lion" "+")
triple7
((triple6) -> (rule1 % int1))
The cow visits the lion.
("cow" "visits" "lion" "+")
int1
The lion chases the cat.
("lion" "chases" "cat" "+")
triple8
The lion chases the cow.
("lion" "chases" "cow" "+")
triple9
((triple12 triple8) -> (rule7 % int1))
The lion chases the cow.
("lion" "chases" "cow" "+")
int1
The lion is big.
("lion" "is" "big" "+")
triple10
The lion is nice.
("lion" "is" "nice" "+")
triple11
The lion is rough.
("lion" "is" "rough" "+")
triple12
The lion needs the cat.
("lion" "needs" "cat" "+")
triple13
The lion needs the cow.
("lion" "needs" "cow" "+")
triple14
The lion visits the cat.
("lion" "visits" "cat" "+")
triple15
The lion visits the cow.
("lion" "visits" "cow" "+")
triple16
The lion chases the lion.
("lion" "chases" "lion" "+")
((triple15) -> (rule4 % int1))
The lion chases the lion.
("lion" "chases" "lion" "+")
int1