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