The dog eats the squirrel. The dog is blue. The dog is kind. The rabbit is nice. The rabbit needs the squirrel. The squirrel is not blue. The squirrel is cold. The tiger chases the rabbit. The tiger chases the squirrel. The tiger is blue. The tiger needs the rabbit. The tiger needs the squirrel. If something eats the squirrel then it needs the squirrel. If something chases the dog then the dog needs the tiger. If something needs the dog then it is round. If something is nice then it eats the tiger. If something eats the tiger then it eats the rabbit. If the dog chases the squirrel and the dog does not need the squirrel then the squirrel needs the rabbit. If something needs the rabbit and it needs the tiger then the rabbit chases the squirrel. If something needs the rabbit then the rabbit is kind.
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
The dog is blue.
("dog" "is" "blue" "+")
The dog is kind.
("dog" "is" "kind" "+")
The rabbit is nice.
("rabbit" "is" "nice" "+")
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
The squirrel is not blue.
("squirrel" "is" "blue" "-")
The squirrel is cold.
("squirrel" "is" "cold" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is blue.
("tiger" "is" "blue" "+")
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
If something eats the squirrel then it needs the squirrel.
((("something" "eats" "squirrel" "+")) -> ("something" "needs" "squirrel" "+"))
If something chases the dog then the dog needs the tiger.
((("something" "chases" "dog" "+")) -> ("dog" "needs" "tiger" "+"))
If something needs the dog then it is round.
((("something" "needs" "dog" "+")) -> ("something" "is" "round" "+"))
If something is nice then it eats the tiger.
((("something" "is" "nice" "+")) -> ("something" "eats" "tiger" "+"))
If something eats the tiger then it eats the rabbit.
((("something" "eats" "tiger" "+")) -> ("something" "eats" "rabbit" "+"))
If the dog chases the squirrel and the dog does not need the squirrel then the squirrel needs the rabbit.
((("dog" "chases" "squirrel" "+") ("dog" "needs" "squirrel" "~")) -> ("squirrel" "needs" "rabbit" "+"))
If something needs the rabbit and it needs the tiger then the rabbit chases the squirrel.
((("something" "needs" "rabbit" "+") ("something" "needs" "tiger" "+")) -> ("rabbit" "chases" "squirrel" "+"))
If something needs the rabbit then the rabbit is kind.
((("something" "needs" "rabbit" "+")) -> ("rabbit" "is" "kind" "+"))
The tiger is blue.
True
1
proof
[(triple10)]
("tiger" "is" "blue" "+")
triple10
The dog does not eat the squirrel.
False
1
inv-proof
[(triple1)]
("dog" "eats" "squirrel" "-")
triple1
The rabbit is kind.
True
2
proof
[(((triple11) -> rule8))]
("rabbit" "is" "kind" "+")
((triple11) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit is not kind.
False
2
inv-proof
[(((triple11) -> rule8))]
("rabbit" "is" "kind" "-")
((triple11) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit eats the rabbit.
True
3
proof
[(((((triple4) -> rule4)) -> rule5))]
("rabbit" "eats" "rabbit" "+")
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The rabbit does not eat the rabbit.
False
3
inv-proof
[(((((triple4) -> rule4)) -> rule5))]
("rabbit" "eats" "rabbit" "-")
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2
The dog does not eat the tiger.
Unknown
inv-rconc
[@1: The dog eats the tiger.[CWA. Example of deepest failure = (rule4 <- FAIL)]]
("dog" "eats" "tiger" "-")
The tiger is round.
Unknown
rconc
[@1: The tiger is round.[CWA. Example of deepest failure = (rule3 <- FAIL)]]
("tiger" "is" "round" "+")
The tiger does not eat the rabbit.
Unknown
inv-rconc
[@2: The tiger eats the rabbit.[CWA. Example of deepest failure = (rule5 <- rule4 <- FAIL)]]
("tiger" "eats" "rabbit" "-")
The squirrel is kind.
Unknown
random
[@0: The squirrel is kind.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "is" "kind" "+")
The dog does not chase the dog.
Unknown
inv-random
[@0: The dog chases the dog.[CWA. Example of deepest failure = (FAIL)]]
("dog" "chases" "dog" "-")
The squirrel chases the squirrel.
Unknown
random
[@0: The squirrel chases the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("squirrel" "chases" "squirrel" "+")
@0: The dog eats the squirrel.[(triple1)] The dog is blue.[(triple2)] The dog is kind.[(triple3)] The rabbit is nice.[(triple4)] The rabbit needs the squirrel.[(triple5)] The squirrel is cold.[(triple7)] The squirrel is not blue.[(triple6)] The tiger chases the rabbit.[(triple8)] The tiger chases the squirrel.[(triple9)] The tiger is blue.[(triple10)] The tiger needs the rabbit.[(triple11)] The tiger needs the squirrel.[(triple12)] @1: The dog needs the squirrel.[(((triple1) -> rule1))] The rabbit eats the tiger.[(((triple4) -> rule4))] The rabbit is kind.[(((triple11) -> rule8))] @2: The rabbit eats the rabbit.[(((((triple4) -> rule4)) -> rule5))]
The dog eats the squirrel.
("dog" "eats" "squirrel" "+")
triple1
The dog is blue.
("dog" "is" "blue" "+")
triple2
The dog is kind.
("dog" "is" "kind" "+")
triple3
The rabbit is nice.
("rabbit" "is" "nice" "+")
triple4
The rabbit needs the squirrel.
("rabbit" "needs" "squirrel" "+")
triple5
The squirrel is cold.
("squirrel" "is" "cold" "+")
triple7
The squirrel is not blue.
("squirrel" "is" "blue" "-")
triple6
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple8
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple9
The tiger is blue.
("tiger" "is" "blue" "+")
triple10
The tiger needs the rabbit.
("tiger" "needs" "rabbit" "+")
triple11
The tiger needs the squirrel.
("tiger" "needs" "squirrel" "+")
triple12
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
((triple1) -> (rule1 % int1))
The dog needs the squirrel.
("dog" "needs" "squirrel" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
((triple4) -> (rule4 % int1))
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int1
The rabbit is kind.
("rabbit" "is" "kind" "+")
((triple11) -> (rule8 % int1))
The rabbit is kind.
("rabbit" "is" "kind" "+")
int1
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
((((triple4) -> (rule4 % int2))) -> (rule5 % int1))
The rabbit eats the rabbit.
("rabbit" "eats" "rabbit" "+")
int1
The rabbit eats the tiger.
("rabbit" "eats" "tiger" "+")
int2