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