The dog needs the tiger. The rabbit is red. The squirrel chases the tiger. The tiger chases the rabbit. The tiger chases the squirrel. The tiger is green. The tiger is nice. The tiger is young. The tiger visits the rabbit. The tiger visits the squirrel. If something is green and it chases the dog then the dog chases the rabbit. If something visits the rabbit and it chases the dog then the dog needs the squirrel. If something needs the squirrel then it visits the squirrel. If something chases the squirrel then it visits the dog. If something needs the rabbit then it needs the tiger. If something needs the dog then it needs the rabbit. If something visits the squirrel then it visits the dog. If something is red and it needs the tiger then it chases the squirrel.
The dog needs the tiger.
("dog" "needs" "tiger" "+")
The rabbit is red.
("rabbit" "is" "red" "+")
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
The tiger is green.
("tiger" "is" "green" "+")
The tiger is nice.
("tiger" "is" "nice" "+")
The tiger is young.
("tiger" "is" "young" "+")
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
If something is green and it chases the dog then the dog chases the rabbit.
((("something" "is" "green" "+") ("something" "chases" "dog" "+")) -> ("dog" "chases" "rabbit" "+"))
If something visits the rabbit and it chases the dog then the dog needs the squirrel.
((("something" "visits" "rabbit" "+") ("something" "chases" "dog" "+")) -> ("dog" "needs" "squirrel" "+"))
If something needs the squirrel then it visits the squirrel.
((("something" "needs" "squirrel" "+")) -> ("something" "visits" "squirrel" "+"))
If something chases the squirrel then it visits the dog.
((("something" "chases" "squirrel" "+")) -> ("something" "visits" "dog" "+"))
If something needs the rabbit then it needs the tiger.
((("something" "needs" "rabbit" "+")) -> ("something" "needs" "tiger" "+"))
If something needs the dog then it needs the rabbit.
((("something" "needs" "dog" "+")) -> ("something" "needs" "rabbit" "+"))
If something visits the squirrel then it visits the dog.
((("something" "visits" "squirrel" "+")) -> ("something" "visits" "dog" "+"))
If something is red and it needs the tiger then it chases the squirrel.
((("something" "is" "red" "+") ("something" "needs" "tiger" "+")) -> ("something" "chases" "squirrel" "+"))
The tiger visits the rabbit.
True
1
proof
[(triple9)]
("tiger" "visits" "rabbit" "+")
triple9
The tiger does not chase the squirrel.
False
1
inv-proof
[(triple5)]
("tiger" "chases" "squirrel" "-")
triple5
The rabbit does not chase the squirrel.
Unknown
inv-rconc
[@3: The rabbit chases the squirrel.[CWA. Example of deepest failure = (rule8 <- rule5 <- rule6 <- FAIL)]]
("rabbit" "chases" "squirrel" "-")
The tiger needs the squirrel.
Unknown
random
[@0: The tiger needs the squirrel.[CWA. Example of deepest failure = (FAIL)]]
("tiger" "needs" "squirrel" "+")
@0: The dog needs the tiger.[(triple1)] The rabbit is red.[(triple2)] The squirrel chases the tiger.[(triple3)] The tiger chases the rabbit.[(triple4)] The tiger chases the squirrel.[(triple5)] The tiger is green.[(triple6)] The tiger is nice.[(triple7)] The tiger is young.[(triple8)] The tiger visits the rabbit.[(triple9)] The tiger visits the squirrel.[(triple10)] @1: The tiger visits the dog.[(((triple10) -> rule7) OR ((triple5) -> rule4))]
The dog needs the tiger.
("dog" "needs" "tiger" "+")
triple1
The rabbit is red.
("rabbit" "is" "red" "+")
triple2
The squirrel chases the tiger.
("squirrel" "chases" "tiger" "+")
triple3
The tiger chases the rabbit.
("tiger" "chases" "rabbit" "+")
triple4
The tiger chases the squirrel.
("tiger" "chases" "squirrel" "+")
triple5
The tiger is green.
("tiger" "is" "green" "+")
triple6
The tiger is nice.
("tiger" "is" "nice" "+")
triple7
The tiger is young.
("tiger" "is" "young" "+")
triple8
The tiger visits the rabbit.
("tiger" "visits" "rabbit" "+")
triple9
The tiger visits the squirrel.
("tiger" "visits" "squirrel" "+")
triple10
The tiger visits the dog.
("tiger" "visits" "dog" "+")
((triple10) -> (rule7 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1
((triple5) -> (rule4 % int1))
The tiger visits the dog.
("tiger" "visits" "dog" "+")
int1