The cat chases the cow. The cat chases the lion. The cat is green. The cat is nice. The cat is red. The cat is rough. The cat sees the cow. The cat visits the cow. The cat visits the lion. The cow chases the cat. The cow chases the lion. The cow visits the cat. The cow visits the lion. The lion is green. The lion sees the cat. If something chases the cow and it is nice then the cow visits the cat. If something sees the lion then the lion visits the cat. If the cow sees the cat then the cat sees the cow. All green, red things are rough. If something is nice then it sees the cat. If something chases the cow and the cow sees the lion then the cow visits the cat. If something sees the cow and it visits the cat then it chases the cow. If the lion visits the cat and the lion sees the cow then the cat sees the lion.
The cat chases the cow.
("cat" "chases" "cow" "+")
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat is green.
("cat" "is" "green" "+")
The cat is nice.
("cat" "is" "nice" "+")
The cat is red.
("cat" "is" "red" "+")
The cat is rough.
("cat" "is" "rough" "+")
The cat sees the cow.
("cat" "sees" "cow" "+")
The cat visits the cow.
("cat" "visits" "cow" "+")
The cat visits the lion.
("cat" "visits" "lion" "+")
The cow chases the cat.
("cow" "chases" "cat" "+")
The cow chases the lion.
("cow" "chases" "lion" "+")
The cow visits the cat.
("cow" "visits" "cat" "+")
The cow visits the lion.
("cow" "visits" "lion" "+")
The lion is green.
("lion" "is" "green" "+")
The lion sees the cat.
("lion" "sees" "cat" "+")
If something chases the cow and it is nice then the cow visits the cat.
((("something" "chases" "cow" "+") ("something" "is" "nice" "+")) -> ("cow" "visits" "cat" "+"))
If something sees the lion then the lion visits the cat.
((("something" "sees" "lion" "+")) -> ("lion" "visits" "cat" "+"))
If the cow sees the cat then the cat sees the cow.
((("cow" "sees" "cat" "+")) -> ("cat" "sees" "cow" "+"))
All green, red things are rough.
((("something" "is" "green" "+") ("something" "is" "red" "+")) -> ("something" "is" "rough" "+"))
If something is nice then it sees the cat.
((("something" "is" "nice" "+")) -> ("something" "sees" "cat" "+"))
If something chases the cow and the cow sees the lion then the cow visits the cat.
((("something" "chases" "cow" "+") ("cow" "sees" "lion" "+")) -> ("cow" "visits" "cat" "+"))
If something sees the cow and it visits the cat then it chases the cow.
((("something" "sees" "cow" "+") ("something" "visits" "cat" "+")) -> ("something" "chases" "cow" "+"))
If the lion visits the cat and the lion sees the cow then the cat sees the lion.
((("lion" "visits" "cat" "+") ("lion" "sees" "cow" "+")) -> ("cat" "sees" "lion" "+"))
The cow visits the lion.
True
1
proof
[(triple13)]
("cow" "visits" "lion" "+")
triple13
The cat is not nice.
False
1
inv-proof
[(triple4)]
("cat" "is" "nice" "-")
triple4
The cow is not rough.
Unknown
inv-rconc
[@1: The cow is rough.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("cow" "is" "rough" "-")
The lion chases the lion.
Unknown
random
[@0: The lion chases the lion.[CWA. Example of deepest failure = (FAIL)]]
("lion" "chases" "lion" "+")
@0: The cat chases the cow.[(triple1)] The cat chases the lion.[(triple2)] The cat is green.[(triple3)] The cat is nice.[(triple4)] The cat is red.[(triple5)] The cat is rough.[(triple6 OR ((triple3 triple5) -> rule4))] The cat sees the cow.[(triple7)] The cat visits the cow.[(triple8)] The cat visits the lion.[(triple9)] The cow chases the cat.[(triple10)] The cow chases the lion.[(triple11)] The cow visits the cat.[(triple12 OR ((triple1 triple4) -> rule1))] The cow visits the lion.[(triple13)] The lion is green.[(triple14)] The lion sees the cat.[(triple15)] @1: The cat sees the cat.[(((triple4) -> rule5))]
The cat chases the cow.
("cat" "chases" "cow" "+")
triple1
The cat chases the lion.
("cat" "chases" "lion" "+")
triple2
The cat is green.
("cat" "is" "green" "+")
triple3
The cat is nice.
("cat" "is" "nice" "+")
triple4
The cat is red.
("cat" "is" "red" "+")
triple5
The cat is rough.
("cat" "is" "rough" "+")
triple6
((triple3 triple5) -> (rule4 % int1))
The cat is rough.
("cat" "is" "rough" "+")
int1
The cat sees the cow.
("cat" "sees" "cow" "+")
triple7
The cat visits the cow.
("cat" "visits" "cow" "+")
triple8
The cat visits the lion.
("cat" "visits" "lion" "+")
triple9
The cow chases the cat.
("cow" "chases" "cat" "+")
triple10
The cow chases the lion.
("cow" "chases" "lion" "+")
triple11
The cow visits the cat.
("cow" "visits" "cat" "+")
triple12
((triple1 triple4) -> (rule1 % int1))
The cow visits the cat.
("cow" "visits" "cat" "+")
int1
The cow visits the lion.
("cow" "visits" "lion" "+")
triple13
The lion is green.
("lion" "is" "green" "+")
triple14
The lion sees the cat.
("lion" "sees" "cat" "+")
triple15
The cat sees the cat.
("cat" "sees" "cat" "+")
((triple4) -> (rule5 % int1))
The cat sees the cat.
("cat" "sees" "cat" "+")
int1