The cat chases the lion. The cat chases the rabbit. The cat is not rough. The lion is big. The rabbit chases the cat. The rabbit does not chase the lion. The rabbit eats the cat. The rabbit eats the lion. The rabbit is nice. The rabbit visits the cat. If something visits the cat then it is green. If something eats the cat and the cat is not cold then the cat is green. If something visits the rabbit and the rabbit visits the cat then the cat is not nice.
The cat chases the lion.
("cat" "chases" "lion" "+")
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
The cat is not rough.
("cat" "is" "rough" "-")
The lion is big.
("lion" "is" "big" "+")
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
If something visits the cat then it is green.
((("something" "visits" "cat" "+")) -> ("something" "is" "green" "+"))
If something eats the cat and the cat is not cold then the cat is green.
((("something" "eats" "cat" "+") ("cat" "is" "cold" "~")) -> ("cat" "is" "green" "+"))
If something visits the rabbit and the rabbit visits the cat then the cat is not nice.
((("something" "visits" "rabbit" "+") ("rabbit" "visits" "cat" "+")) -> ("cat" "is" "nice" "-"))
The rabbit chases the cat.
True
1
proof
[(triple5)]
("rabbit" "chases" "cat" "+")
triple5
The rabbit does not eat the lion.
False
1
inv-proof
[(triple8)]
("rabbit" "eats" "lion" "-")
triple8
The cat is not green.
Unknown
inv-rconc
[@1: The cat is green.[CWA. Example of deepest failure = (rule1 <- FAIL)]]
("cat" "is" "green" "-")
The cat eats the cat.
Unknown
random
[@0: The cat eats the cat.[CWA. Example of deepest failure = (FAIL)]]
("cat" "eats" "cat" "+")
@0: The cat chases the lion.[(triple1)] The cat chases the rabbit.[(triple2)] The cat is not rough.[(triple3)] The lion is big.[(triple4)] The rabbit chases the cat.[(triple5)] The rabbit does not chase the lion.[(triple6)] The rabbit eats the cat.[(triple7)] The rabbit eats the lion.[(triple8)] The rabbit is nice.[(triple9)] The rabbit visits the cat.[(triple10)] @1: The rabbit is green.[(((triple10) -> rule1))]
The cat chases the lion.
("cat" "chases" "lion" "+")
triple1
The cat chases the rabbit.
("cat" "chases" "rabbit" "+")
triple2
The cat is not rough.
("cat" "is" "rough" "-")
triple3
The lion is big.
("lion" "is" "big" "+")
triple4
The rabbit chases the cat.
("rabbit" "chases" "cat" "+")
triple5
The rabbit does not chase the lion.
("rabbit" "chases" "lion" "-")
triple6
The rabbit eats the cat.
("rabbit" "eats" "cat" "+")
triple7
The rabbit eats the lion.
("rabbit" "eats" "lion" "+")
triple8
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple9
The rabbit visits the cat.
("rabbit" "visits" "cat" "+")
triple10
The rabbit is green.
("rabbit" "is" "green" "+")
((triple10) -> (rule1 % int1))
The rabbit is green.
("rabbit" "is" "green" "+")
int1